diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-06-27 15:27:19 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-06-27 15:27:19 +0000 |
| commit | ef2a6fe289ff21a2d215fbc30637b9e1bd34f474 (patch) | |
| tree | 1c6fc87716a27a3ea3012dfb4034d7bfc3d8eb30 | |
| parent | 6b5452404d269f849f41477737a3e8adc22cfed9 (diff) | |
Tidy
| -rw-r--r-- | isa/isa.el | 8 | ||||
| -rw-r--r-- | isar/isar.el | 3 |
2 files changed, 3 insertions, 8 deletions
@@ -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 |