diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-07-16 23:09:27 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-16 23:09:27 +0000 |
commit | 4dfaa3700086d0cb6c9d8518dac894e58fa7f7a9 (patch) | |
tree | ec3149806cd3d9993726607a7ade5d58443d39d6 | |
parent | b317e75d1b45b4ca2945178eafc9f09257afb710 (diff) |
Fix typo.
-rw-r--r-- | isa/isabelle-system.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index 53d48110..f6c32da8 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -413,7 +413,7 @@ until Proof General is restarted." "Convert identifier markup to subterm markup. This is a hook setting for `pg-before-subterm-markup-hook' to enable identifiers to be highlighted. (To disable that behaviour, -the `pg-remove-specials' can be used instead)." +the function `pg-remove-specials' can be used instead)." (goto-char (point-min)) (while (re-search-forward "\351\\|\352\\|\353\\|\354\\|\355\\|\356\\|\357" nil t) |