Add code to test new parser.

1 files changed, 13 insertions, 0 deletions

diff --git a/isar/test.el b/isar/test.el
index ee530cab..147ad476 100644
--- a/isar/test.el
+++ b/isar/test.el
@@ -12,6 +12,9 @@
 ;; smoothly in the generic code, especially across undos/forget.
 ;; Need to fix when nesting depth is changed, how it is changed,
 ;; and choice of kill_proof vs undos for Isar.
+;;
+;; Testing: evaluate this buffer, reload script file 
+;; (to re-execute isar-mode).
 
 (setq proof-nested-goals-p t)
 (setq proof-goal-command-regexp 
@@ -23,3 +26,13 @@
 
 ;; Reset this to default value
 (setq proof-really-save-command-p (lambda (span cmd) t))
+
+;; Use the new parser, but have to hack the keywords setting
+;; to fix prob with "{"  
+;; [do we??  that was probably buffer-syntactic context/symtab problem]
+(setq proof-script-use-old-parser nil)
+(setq isar-any-command-regexp
+      (isar-ids-to-regexp isar-keywords-major))
+;      (cons "{[^\\*]"  ;; FIXME:
+;	    (isar-ids-to-regexp 
+;	     (remove "{" isar-keywords-major))))