diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-05-05 16:53:02 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-05 16:53:02 +0000 |
commit | 35dcb16227444c035d648c7bcd8bc12556ac0645 (patch) | |
tree | 9b362d3b640a442ba0fb7e33335db249470e1e2f /doc | |
parent | 04ece408bd57df950d41d5793850c2ea3db82f6b (diff) |
Fix markup bug.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ProofGeneral.texi | 4 |
1 files 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 |