diff options
| author | Makarius Wenzel | 2000-03-09 11:15:43 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-03-09 11:15:43 +0000 |
| commit | 7411a5e9f672308188919006e72f88dda30ef01f (patch) | |
| tree | 93b55b9cea942a53ce7daf73c0706e96b30b2827 | |
| parent | f15436ebab67fb1767f58d83f94e0b075856de6a (diff) | |
added 'case', 'print_cases';
| -rw-r--r-- | isar/isar-keywords.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index caa7cfab..cb04be85 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -59,6 +59,7 @@ "pretty_setmargin" "print_attributes" "print_binds" + "print_cases" "print_context" "print_facts" "print_methods" @@ -186,6 +187,7 @@ (defconst isar-keywords-proof-asm '("assume" + "case" "def" "fix" "presume")) |