From 157bce4a138a0badc507fbe6eae604c036a44d42 Mon Sep 17 00:00:00 2001
From: vsc <vsc@b08c6af1-5177-4d33-ba66-4b1c6b8b522a>
Date: Tue, 19 Jun 2001 17:47:45 +0000
Subject: [PATCH] fix duplicated title (Paulo Moura) fix info on term ordering
 to respect ISO standard.

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@94 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
---
 docs/yap.tex | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/docs/yap.tex b/docs/yap.tex
index cba91ea8c..7753f9d30 100644
--- a/docs/yap.tex
+++ b/docs/yap.tex
@@ -678,7 +678,7 @@ be expanded into @code{c:\Program Files\Yap} by Windows.
 @end table
 
 @node Compiling Under Visual C++, Tuning for SGI cc, Tuning for GCC, Machine Options
-@subsection  Compiling Under SGI's cc
+@subsection  Compiling Under Visual C++
 
 Yap compiles cleanly under Microsoft's Visual C++ release 6.0. We next
 give a step-by-step tutorial on how to compile Yap manually using this
@@ -2788,8 +2788,9 @@ compound terms.
 variables are roughly ordered by "age" (the "oldest" variable is put
 first);
 @item
-numbers are sorted in increasing order. Integers precede their floating
-point equivalents;
+floating point numbers are sorted in increasing order;
+@item
+Integers are sorted in increasing order;
 @item
 atoms are sorted in lexicographic order;
 @item