diff options
| author | Makarius Wenzel | 2000-01-28 20:24:09 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-01-28 20:24:09 +0000 |
| commit | d33aa4753f3447f70ee725b7576e0dc12678209b (patch) | |
| tree | 15a0fddc854d78a2b4341f56d23e80e55c112d41 | |
| parent | f19202b45ed225ca8314db3e0f6a247c8c668b21 (diff) | |
added prefer, defer;
| -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 c00b99f2..5f489cb5 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -192,6 +192,8 @@ (defconst isar-keywords-proof-script '("apply" "back" + "defer" + "prefer" "then_apply")) (provide 'isar-keywords) |