[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