From f10c6f264ce064998c22b461b79e93216269eef0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 17 Apr 2004 22:55:26 +0000
Subject: Escape { and }

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

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 132d9299..8109d274 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -808,13 +808,13 @@ you see a window @c like this:
 containing text like this:
 @lisp
 theory Walkthrough =
-  {ProtoPure, CPure, HOL, Set, Typedef, Fun, Product_Type, Lfp, Gfp,
+  @{ProtoPure, CPure, HOL, Set, Typedef, Fun, Product_Type, Lfp, Gfp,
     Sum_Type, Relation, Record, Inductive, Transitive_Closure,
     Wellfounded_Recursion, Ring_and_Field, Nat, NatArith, Divides, Power,
     Finite_Set, Equiv, IntDef, Datatype_Universe, Datatype, Numeral, Bin,
     IntArith, Wellfounded_Relations, Recdef, IntDiv, NatBin, NatSimprocs,
     SetInterval, Presburger, Relation_Power, Parity, PreList, List, Map,
-    Hilbert_Choice, Infinite_Set, Extraction, Refute, Main, #}
+    Hilbert_Choice, Infinite_Set, Extraction, Refute, Main, #@}
 @end lisp
 (Which gives you some idea of the theories that go to build up @code{Main}!).
 
-- 
cgit v1.2.3