From 2902fd85474038f98f7343622c4982c5e2f8efe8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 2 Dec 2009 23:49:10 +0000
Subject: Fix compile error (isar-prog-args unknown).

---
 isar/isabelle-system.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'isar')

diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el
index 1cadc1a2..f66e41ba 100644
--- a/isar/isabelle-system.el
+++ b/isar/isabelle-system.el
@@ -19,6 +19,7 @@
   (require 'scomint)		        
   (require 'proof-site)
   (require 'proof-menu)
+  (proof-ready-for-assistant 'isar)	; compile for isar
   (defvar proof-assistant-menu nil))	
 
 
-- 
cgit v1.2.3