diff options
| -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 |