diff options
| author | Makarius Wenzel | 1999-08-29 16:03:23 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-08-29 16:03:23 +0000 |
| commit | fccf559b0efb3e3fb1340d1f436abd92ffdc8add (patch) | |
| tree | e1a0e54302571a758c8397e2faf733a1e3a1a5c6 /isar | |
| parent | 0aef4c42a414a5f8f90d5c812adb4d5989f5d2f9 (diff) | |
tuned;
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar-syntax.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 52f97ca6..600e7f03 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -67,6 +67,7 @@ (defconst isar-keywords-theory-enclose (append isar-keywords-theory-begin + isar-keywords-theory-switch isar-keywords-theory-end)) (defconst isar-keywords-theory @@ -173,7 +174,7 @@ (defconst isar-kill "kill;") (defun isar-remove (name) - (concat "init_toplevel; remove_thy \"" name "\"")) + (concat "init_toplevel; remove_thy \"" name "\";")) (defun isar-undos (i) (if (> i 0) |