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

---
 isar/isar.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'isar')

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