From 5abc2ff937918826824352ff3e49e84f3535452d Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 24 Nov 2009 11:05:36 +0000
Subject: define isar-pr as load-time constant;

---
 isar/isar-syntax.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 408b910e..5b45eb89 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -447,7 +447,7 @@ matches contents of quotes for quoted identifiers.")
 
 (defconst isar-undo "ProofGeneral.undo;")
 
-(defun isar-pr ()
+(defconst isar-pr
   (if (member "ProofGeneral\\.pr" 
 	      isar-keywords-major)
       "ProofGeneral.pr" ; does right thing
@@ -462,7 +462,7 @@ matches contents of quotes for quoted identifiers.")
 		      (int-to-string i) ";"
 		      (if linearp 
 			  (concat " "
-				  (isar-pr)
+				  isar-pr
 				  ";"))
 		      )
     nil))  ; was proof-no-command
-- 
cgit v1.2.3