diff options
| author | Makarius Wenzel | 1999-08-29 16:00:05 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-08-29 16:00:05 +0000 |
| commit | 0aef4c42a414a5f8f90d5c812adb4d5989f5d2f9 (patch) | |
| tree | 0adaa7dda4c99c5f69513b1a5576b8b3b96f556c | |
| parent | 56d834c43f830576c569b768a86fc6008ae44147 (diff) | |
added ALLGOALS;
| -rw-r--r-- | isa/isa-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el index de749a36..562c9233 100644 --- a/isa/isa-syntax.el +++ b/isa/isa-syntax.el @@ -125,7 +125,7 @@ isa-keywords-defn isa-keywords-commands isa-tactics) "All keywords in a Isabelle script") -(defconst isa-tacticals '("REPEAT" "THEN" "ORELSE" "TRY")) +(defconst isa-tacticals '("REPEAT" "THEN" "ORELSE" "TRY" "ALLGOALS")) ;; ----- regular expressions |