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

makeinfo warnings fixed

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@132 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
stasinos 2001-07-20 09:35:33 +00:00
parent 32a0e2c3c7
commit 5d57058e8e
2 changed files with 7 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
TO_DO
View File

@ -3,7 +3,6 @@ BEFORE 4.4:
- write infinite terms - write infinite terms
- constraints in DB. - constraints in DB.
- non-void temporaries going to global - non-void temporaries going to global
- warnings in documentation file.
- fix restore when code is moved around. - fix restore when code is moved around.
- document new interface functions. - document new interface functions.
- mask when installing. - mask when installing.

14
docs/yap.tex
View File

@ -10830,17 +10830,17 @@ Sets spy-points on constraints and rules given by @var{Spec}, which is
is of the form: is of the form:
@table @asis @table @asis
@item @var{_ (variable)} @item @var{_} (variable)
denoting all constraints and rules, or: denoting all constraints and rules, or:
@item @var{constraints Cs} @item @var{constraints Cs}
where @var{Cs} is one of where @var{Cs} is one of
@table @asis @table @asis
@item @var{_ (variable)} @item @var{_} (variable)
denoting all constraints denoting all constraints
@item @var{C,...,C} @item @var{C},...,@var{C}
denoting a list of constraints @var{C} denoting a list of constraints @var{C}
@item @var{Name} @item @var{Name}
@ -10854,10 +10854,10 @@ denoting the constraint of that name and arity
where @var{Rs} is one of: where @var{Rs} is one of:
@table @asis @table @asis
@item @var{_ (variable)} @item @var{_} (variable)
denoting all rules denoting all rules
@item @var{R,...,R} @item @var{R},...,@var{R}
denoting a list of rules @var{R} denoting a list of rules @var{R}
@item @var{Name} @item @var{Name}
@ -11088,8 +11088,8 @@ treating 0 as infinity.
@item b @item b
@dfn{break} calls the built-in predicate @code{break/0}, thus putting @dfn{break} calls the built-in predicate @code{break/0}, thus putting
you at a recursive top-level. When you end the break (entering you at a recursive top-level. When you end the break (entering ^D)
@ctrl{D}) you will be re-prompted at the port at which you broke. The you will be re-prompted at the port at which you broke. The
CHR debugger is temporarily switched off as you call the break and will CHR debugger is temporarily switched off as you call the break and will
be switched on again when you finish the break and go back to the old be switched on again when you finish the break and go back to the old
execution. Any changes to the CHR leashing or to spy-points during the execution. Any changes to the CHR leashing or to spy-points during the