From 15af2f935c8ffc6e6b36f709f07f3ff18309c2e6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Jan 2008 19:33:16 +0000
Subject: Quote braces properly

---
 doc/ProofGeneral.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 78d26a3e..5d923d54 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -3780,7 +3780,7 @@ Inserts "\<^raw:>"  (raw LaTeX text)
 @item C-c C-a C-a
 Inserts "@@@{text ""@}"  (anti-quotation).
 @item C-c C-a C-x
-Inserts "ML {* *}"  (inline ML code).
+Inserts "ML @{* *@}"  (inline ML code).
 @end table
 
 Command termination via `@code{;}' is an optional feature of Isar
-- 
cgit v1.2.3