diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix some thread bugs (thanks to Paulo Moura).

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1866 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc
2007-04-16 15:24:24 +00:00
parent 67738fbbd1
commit 7fe05a5c48
5 changed files with 9 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
docs/yap.tex
View File

@@ -3024,8 +3024,9 @@ Integers are sorted in increasing order;
@item
atoms are sorted in lexicographic order;
@item
compound terms are ordered first by name, then by arity of the main
functor, and finally by their arguments in left-to-right order.
compound terms are ordered first by arity of the main functor, then by
the name of the main functor, and finally by their arguments in
left-to-right order.
@end itemize
@table @code