diff options
| author | David Aspinall | 1998-11-25 15:22:53 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 15:22:53 +0000 |
| commit | 7058ccdb48330a6a6c718310bdbfceb11cf0478b (patch) | |
| tree | e7b114d534229bbb5cae512ace5c52966c6d910f | |
| parent | 5c912377e96e616a5f1a8998e2a424c9b8522e2c (diff) | |
Updated magic.
| -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 a818b7d0..c43c83d5 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -1974,10 +1974,10 @@ URL of web page for Isabelle. @c TEXI DOCSTRING MAGIC: thy-use-sml-mode @defopt thy-use-sml-mode -If non-nil, invoke sml-mode inside "ML" section of theory files. +If non-nil, invoke @code{sml-mode} inside "ML" section of theory files. This option is left-over from Isamode. Really, it would be more useful if the script editing mode of Proof General itself could be based -on sml-mode, but at the moment there is no way to do this. +on @code{sml-mode}, but at the moment there is no way to do this. The default value is @code{nil}. @end defopt |