From 0aef4c42a414a5f8f90d5c812adb4d5989f5d2f9 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sun, 29 Aug 1999 16:00:05 +0000
Subject: added ALLGOALS;

---
 isa/isa-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3