diff options
author | Makarius Wenzel <makarius@sketis.net> | 2006-12-07 19:51:46 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2006-12-07 19:51:46 +0000 |
commit | 5159b8d8cc7218fb717ca4876bf845345a068f61 (patch) | |
tree | beaa64be65251be7bb4fb2032753a88e16e3d7e2 /isar | |
parent | 91c7cb718f35c0fb4485cd6afe9c9529cd38d603 (diff) |
isar-keywords-theory-enclose: isar-keywords-theory-switch is back again (in post-Isabelle2005 the latter is empty anyway);
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 63fe4db4..51fc72b4 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -94,6 +94,7 @@ This list is in the right format for proof-easy-config.") (defconst isar-keywords-theory-enclose (append isar-keywords-theory-begin + isar-keywords-theory-switch isar-keywords-theory-end)) (defconst isar-keywords-theory @@ -129,7 +130,6 @@ This list is in the right format for proof-easy-config.") (defconst isar-keywords-proper (append isar-keywords-theory - isar-keywords-theory-switch isar-keywords-proof-enclose isar-keywords-proof)) |