From 7d9f11d891a19c94caeba0bc09a165730646674d Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 27 Sep 2000 19:46:08 +0000
Subject: tuned docstring;

---
 isar/isar.el | 3 +--
 1 file changed, 1 insertion(+), 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))
-- 
cgit v1.2.3