From e9636bb097d959a1887776fc15fed12b185a7681 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Jun 2000 12:55:31 +0000
Subject: First attempt at using new indentation for Isabelle.  Utterly broken.

---
 isa/isa.el | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/isa/isa.el b/isa/isa.el
index 68814701..58e6dc82 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -95,6 +95,21 @@ and script mode."
 	 (list isa-goal-with-hole-regexp 2)
 	 (list isa-save-with-hole-regexp 2
 	       'backward isa-goal-command-regexp))
+
+   ;; Indentation 
+   ;; FIXME: I don't understand how this works.  
+   ;; Also it doesn't work because of anchoring problems.
+   ;; Tips from Markus?
+   proof-indent-close-offset	-1
+   proof-indent-open-regexp     (proof-regexp-alt 
+				 isa-goal-command-regexp 
+				 "\\s(")
+   proof-indent-close-regexp    (proof-regexp-alt 
+				 isa-save-command-regexp
+				 "\\s)")
+   proof-indent-any-regexp      (apply 'proof-regexp-alt 
+				       isa-keywords-commands)
+   
    
    ;; proof engine commands
    proof-showproof-command	"pr();"
-- 
cgit v1.2.3