diff options
| author | David Aspinall | 2000-06-27 15:27:19 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-27 15:27:19 +0000 |
| commit | ef2a6fe289ff21a2d215fbc30637b9e1bd34f474 (patch) | |
| tree | 1c6fc87716a27a3ea3012dfb4034d7bfc3d8eb30 /isar | |
| parent | 6b5452404d269f849f41477737a3e8adc22cfed9 (diff) | |
Tidy
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 3 |
1 files changed, 1 insertions, 2 deletions
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 |