diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-09-27 19:46:08 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-09-27 19:46:08 +0000 |
| commit | 7d9f11d891a19c94caeba0bc09a165730646674d (patch) | |
| tree | fe40d6d7e0b17b92f17fad505335ddb5502634cd /isar | |
| parent | 63a568be129f1ed4dc43d83acf1a64fb39b64596 (diff) | |
tuned docstring;
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/isar/isar.el b/isar/isar.el index 22f66263..b5a2cc54 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -77,7 +77,7 @@ (defun isar-strip-terminators () - "Remove explicit Isabelle/Isar command terminators `;' from buffer" + "Remove explicit Isabelle/Isar command terminators `;' from the buffer." (interactive) (save-excursion (goto-char (point-min)) @@ -493,7 +493,6 @@ proof-shell-retract-files-regexp." (proof-config-done) (set (make-local-variable 'outline-regexp) isar-outline-regexp) (set (make-local-variable 'outline-heading-end-regexp) isar-outline-heading-end-regexp) - (set (make-local-variable 'outline-level) 'isar-outline-level) (setq blink-matching-paren-dont-ignore-comments t) (add-hook 'proof-pre-shell-start-hook 'isar-pre-shell-start nil t) (add-hook 'proof-shell-insert-hook 'isar-preprocessing)) |