diff: fix formatting errors in debugger doc

[Fergus Henderson]

doc/user_guide.texi:
	Fix some formatting errors in the new "Debugging" chapter.

Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.138
diff -u -r1.138 user_guide.texi
--- user_guide.texi	1998/10/16 06:18:20	1.138
+++ user_guide.texi	1998/10/30 16:43:00
@@ -2796,7 +2796,7 @@
 The four kinds of events supported by most Prolog systems (their @emph{ports})
 are
 
- at table @var
+ at table @emph
 @item call events
 A call event occurs just after a procedure has been called,
 and control has just reached the start of the body of the procedure.
@@ -2821,7 +2821,7 @@
 The possible event sequences for procedures of the various determinisms
 are as follows.
 
- at table @var
+ at table @emph
 @item nondet procedures
 a call event, zero or more repeats of (exit event, redo event), and a fail event
 @item multi procedures
@@ -2843,7 +2843,7 @@
 Each of these internal event types has an associated parameter called a path.
 The internal event types are:
 
- at table @var
+ at table @emph
 @item then events
 A then event occurs when execution reaches
 the start of the then part of an if-then-else.
@@ -2911,7 +2911,7 @@
 
 Every module can be compiled with one of several trace levels.
 
- at table @var
+ at table @emph
 @item trace level none
 A procedure compiled with trace level none
 will never generate any events.
@@ -2933,7 +2933,7 @@
 @c XXX explain --trace
 @c XXX --debug and not --debug
 
- at table @var
+ at table @samp
 @item --trace minimum
 With --require-tracing, this sets the trace level to shallow;
 with --no-require-tracing, it sets the trace level to none.
@@ -2972,7 +2972,7 @@
 The operation of the Mercury debugger @samp{mdb}
 is based on the following concepts.
 
- at table @var
+ at table @emph
 @item break points
 The user may associate a break point
 with some events that occur inside a procedure;

-- 
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.