nitpicking
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@283 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
7849f7b54e
commit
ea45ad8f3d
3
INSTALL
3
INSTALL
@ -64,8 +64,7 @@ instead of copying.
|
||||
|
||||
The system has been mainly tested with GCC, but we have been able to
|
||||
compile versions of Yap under lcc in Linux, Sun's cc compiler, IBM's
|
||||
xlc, SGI's cc, and Microsoft's Visual C++ 6.0. The HP-UX preprocessor
|
||||
is known to choke under Yap.
|
||||
xlc, SGI's cc, Microsoft's Visual C++ 6.0 and HP's cc.
|
||||
|
||||
1.3.1 Yap and GCC
|
||||
|
||||
|
@ -1955,10 +1955,10 @@ will be used:
|
||||
|
||||
@itemize @bullet
|
||||
@item
|
||||
a preceding plus signal will denote an argument as an "input argument" -
|
||||
a preceding plus sign will denote an argument as an "input argument" -
|
||||
it cannot be a free variable at the time of the call;
|
||||
@item
|
||||
a preceding minus signal will denote an "output argument";
|
||||
a preceding minus sign will denote an "output argument";
|
||||
@item
|
||||
an argument with no preceding symbol can be used in both ways.
|
||||
@end itemize
|
||||
@ -5026,7 +5026,7 @@ internal data-base but has several important differences:
|
||||
@item It is module aware, in contrast to the internal data-base.
|
||||
@item Keys can only be atoms or integers, and not compound terms.
|
||||
@item A single term can be stored per key.
|
||||
@item An atomic update operation is provides; this is useful for
|
||||
@item An atomic update operation is provided; this is useful for
|
||||
parallelism.
|
||||
@end itemize
|
||||
|
||||
|
Reference in New Issue
Block a user