From 70f99119285a02089b32c54c758e2d8a59680a71 Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Sat, 3 Jun 2000 22:12:32 +0000 Subject: { } are back; --- isar/isar-keywords.el | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'isar/isar-keywords.el') diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index 520ad80f..f2d180a1 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -149,11 +149,8 @@ "use_thy_only" "welcome" "with" - ;; FIXME da: commented out these since {* *} appear after start of - ;; command, e.g. header {* blah *} etc, which breaks - ;; proof-script-command-start-regexp - ;; "{" - ;; "}" + "{" + "}" )) (defconst isar-keywords-minor -- cgit v1.2.3