diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 1999-10-07 15:28:58 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 1999-10-07 15:28:58 +0000 |
| commit | cebd9ae3076d6c72cbb452e4f3f517ca405f83c3 (patch) | |
| tree | 93dfdfc46db16ec78508304b0cb82b65c1401df4 /isar | |
| parent | 4ff423fe4b8f7624e113b4cb68e07a429ad9fb72 (diff) | |
replaced "clear_undo" to "clear_undos";
replaced "title" by "header";
added "verbatim", "verb";
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar-keywords.el | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index b0833486..06e21128 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -28,7 +28,7 @@ (defconst isar-keywords-control '("cannot_undo" "cd" - "clear_undo" + "clear_undos" "exit" "init_toplevel" "kill" @@ -44,6 +44,7 @@ "commit" "disable_pr" "enable_pr" + "header" "help" "pr" "pretty_setmargin" @@ -83,8 +84,7 @@ '("chapter" "section" "subsection" - "subsubsection" - "title")) + "subsubsection")) (defconst isar-keywords-theory-decl '("ML_setup" @@ -123,7 +123,8 @@ "translations" "typed_print_translation" "typedecl" - "types")) + "types" + "verbatim")) (defconst isar-keywords-theory-goal '("instance" @@ -166,7 +167,8 @@ "sect" "subsect" "subsubsect" - "txt")) + "txt" + "verb")) (defconst isar-keywords-proof-asm '("assume" |