[m-dev.] trivial diff: fix typos in `backquote` documentation
Fergus Henderson
fjh at cs.mu.OZ.AU
Fri Feb 11 16:01:54 AEDT 2000
Estimated hours taken: 0.25
doc/reference_manual.texi:
Fix some typos / formatting errors in the documentation
of backquotes.
Workspace: /d-drive/home/hg/fjh/mercury
Index: doc/reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.171
diff -u -d -r1.171 reference_manual.texi
--- doc/reference_manual.texi 2000/02/11 05:00:36 1.171
+++ doc/reference_manual.texi 2000/02/11 05:00:44
@@ -184,7 +184,7 @@
Tokens in Mercury are the same as in ISO Prolog.
The only differences are the @samp{#@var{line}} token, which
is used as a line number directive (see below) and the
- at samp{backquote (`)} token.
+backquote (@samp{`}) token.
The different tokens are as follows. Tokens may be separated by
whitespace or line number directives.
@@ -307,8 +307,8 @@
Syntactically, terms in Mercury are exactly the same as in ISO Prolog,
except that as extensions we permit higher-order terms and the
-introduction of infix operators by the use of grave accents (backquotes)
-, as described below.
+introduction of infix operators by the use of grave accents (backquotes),
+as described below.
However, the meaning of some terms in Mercury is different to that
in Prolog. @xref{Data-terms}.
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3 | -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list