diff options
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 |