From ef2a6fe289ff21a2d215fbc30637b9e1bd34f474 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Jun 2000 15:27:19 +0000
Subject: Tidy

---
 isa/isa.el | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

(limited to 'isa')

diff --git a/isa/isa.el b/isa/isa.el
index 1e3ac17b..3f1e6b0f 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -231,14 +231,10 @@ and script mode."
     "Proof General, this file is loaded: \"\\(.*\\)\""
     (lambda (str)
       (match-string 1 str)))
-   ;; \\|Not reading \"\\(.*\\)\"
-   ;;    (lambda (str)
-   ;;   (or (match-string 1 str) 
-   ;;	  (match-string 2 str))))
    ;; This is the output returned by a special command to
    ;; query Isabelle for outdated files.
- ;;   proof-shell-clear-included-files-regexp
- ;;   "Proof General, please clear your record of loaded files."
+   ;;   proof-shell-clear-included-files-regexp
+   ;;   "Proof General, please clear your record of loaded files."
    proof-shell-retract-files-regexp
    "Proof General, you can unlock the file \"\\(.*\\)\""
    proof-shell-compute-new-files-list 'isa-shell-compute-new-files-list
-- 
cgit v1.2.3