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

get rid of annoying debugging message.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@697 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc
2002-11-20 15:04:37 +00:00
parent f339741dd2
commit 4e727b2f34
6 changed files with 18 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
docs/yap.tex
View File

@@ -8784,11 +8784,7 @@ variable. In the latter case, YAP discards previous values for the
attributes.
@item The built-in @code{get_atts/2} can be used to check the values of
an attribute associated with a variable.
<<<<<<< yap.tex
@item The unification algorithm calls the user-defined predicate
=======
@item The unification algoritm calls the user-defined predicate
>>>>>>> 1.89
@t{verify_attributes/3} before trying to bind an attributed
variable. Unification will resume after this call.
@item The user-defined predicate
@@ -11691,8 +11687,8 @@ prints the current rule instantiated by the matched constraints. Example:
While in the debugger, a @dfn{printdepth} is in effect for limiting
the subterm nesting level when printing rules and constraints.
The limit is initially 10. This command, without arguments, resets the
limit to 10. With an argument of @var{n}, the limit is set to @var{n},
treating 0 as infinity.
limit to 10. With an argument of @var{n}, the limit is set to
@var{n}. An argument @var{n} of 0 disables depth limit in the debugger.
@refill
@item a