From 35dcb16227444c035d648c7bcd8bc12556ac0645 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 5 May 2000 16:53:02 +0000
Subject: Fix markup bug.

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

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index d7e64dba..480b7e02 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -3017,9 +3017,9 @@ To load the Isabelle/Isar instance of Proof General, you can set
 to make sure ordinary Isabelle theory file mode isn't loaded instead.
 Another way of selecting Isar is to put a special modeline comment in,
 like this:
-@code
+@lisp
   (* -*- isar -*- *)
-@end code
+@end lisp
 at the top of your Isar files (or at least, the first file you visit).
 This Emacs feature overrides the default choice of mode based on the
 file extension.  Yet another way to select Isar is to use the Isabelle
-- 
cgit v1.2.3