From ea45ad8f3d63b810ba28e605d2ffe8710ad2a4e9 Mon Sep 17 00:00:00 2001 From: stasinos Date: Wed, 9 Jan 2002 17:23:18 +0000 Subject: [PATCH] nitpicking git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@283 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- INSTALL | 3 +-- docs/yap.tex | 6 +++--- 2 files changed, 4 insertions(+), 5 deletions(-) diff --git a/INSTALL b/INSTALL index a1965f5fa..c2bf07566 100644 --- a/INSTALL +++ b/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 diff --git a/docs/yap.tex b/docs/yap.tex index c155b1f0d..174cd1720 100644 --- a/docs/yap.tex +++ b/docs/yap.tex @@ -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