From 06c1046efcd8901857709171980bfa92c62b2f98 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 24 Mar 2000 13:20:40 +0000
Subject: Add some more bullets.

---
 doc/ProofGeneral.texi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index cdfcf35d..10e6df4f 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -887,7 +887,7 @@ entire proof has been aggregated into a single segment. This reflects
 the fact that LEGO has thrown away the history of the proof, so if we
 want to undo now, the whole proof must be retracted.
 
-@itemize
+@itemize  @bullet
 @item 
 Suppose we decide to call the goal something more sensible. Move the
 cursor up into the locked region, somewhere between @samp{Goal} and
@@ -901,7 +901,7 @@ The command @kbd{C-c C-RET} moves the end of the locked region to the
 cursor position, sending undoing commands or proof commands as
 necessary.
 
-@itemize
+@itemize @bullet
 @item 
 Now correct the goal name, for example:
 @lisp
-- 
cgit v1.2.3