[m-rev.] for review: add index to user guide

Simon Taylor stayl at cs.mu.OZ.AU
Tue Jun 5 18:07:54 AEST 2001


On 05-Jun-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:

>  @item MCFLAGS and EXTRA_MCFLAGS
> + at vindex CFLAGS
> + at vindex EXTRA_CFLAGS
>  Options to pass to the Mercury compiler.
>  (Note that compilation model options should be
>  specified in @code{GRADEFLAGS}, not in @code{MCFLAGS}.)

s/CFLAGS/MCFLAGS/

> @@ -801,6 +931,13 @@
>  @node Using libraries
>  @section Using libraries
>  
> + at vindex VPATH
> + at vindex MCFLAGS
> + at vindex MLFLAGS
> + at vindex MLLIBS
> + at vindex C2INITARGS
> + at vindex MGNUCFLAGS
> + at findex intermodule-optimization

--intermodule-optimization

> @@ -1049,6 +1199,8 @@
> + at cindex call

This should be `call (trace event)'.

> @@ -1538,6 +1707,8 @@
>  
>  @table @emph
>  @item break points
> + at cindex break points
> + at cindex spy points
>  the user may associate a break point
>  with some events that occur inside a procedure;
>  the invocation condition of the break point says which events these are.
> @@ -1575,6 +1746,7 @@
>  neither of these will happen if the break point is disabled.
>  @sp 1
>  @item strict commands
> + at cindex strict commands

`strict debugger commands', or `strict commands (mdb)'

> @@ -1626,6 +1803,7 @@
>  changes the environment yet again or execution continues to another event.
>  @sp 1
>  @item procedure specification
> + at cindex procedure specification

`debugger procedure specification' or `procedure specification (mdb)'.

>  @sp 1
>  @item MERCURY_OPTIONS
> + at vindex MERCURY_OPTIONS
>  A list of options for the Mercury runtime that gets
>  linked into every Mercury program.
>  Their meanings are as follows.
> @@ -4647,6 +5441,7 @@
>  @c by mercury_engine.c was actually used.
>  
>  @item -C @var{size}
> + at findex -C

This should be `-C (runtime option)'.

Simon.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list