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 ++------
 isar/isar.el | 3 +--
 2 files changed, 3 insertions(+), 8 deletions(-)

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
diff --git a/isar/isar.el b/isar/isar.el
index 7f4a0615..78f6102a 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -276,8 +276,7 @@
    proof-shell-start-char		?\372
    proof-shell-end-char			?\373
    proof-shell-field-char		?\374
-   ;; NEW NEW for multiple files
-   ;; === NEW NEW: multiple file stuff.  move elsewhere later.
+
    proof-shell-process-file 
    (cons
     ;; Theory loader output
-- 
cgit v1.2.3