From 98f2e463287e3562dc7b7126e062919a8604ca4a Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Sat, 25 Feb 2017 19:35:35 -0500
Subject: Remove compile-time calls to proof-ready-for-assistant

Compilation used to run in a separate Emacs process for each file, but that's not
what happens when installing PG with package.el.
---
 isar/isabelle-system.el | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'isar/isabelle-system.el')

diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el
index 64cd768f..d4ef3762 100644
--- a/isar/isabelle-system.el
+++ b/isar/isabelle-system.el
@@ -16,13 +16,12 @@
   (require 'cl))			;  mapcan, eval-when
 
 (eval-when (compile)
-  (require 'span)		        
-  (require 'scomint)		        
+  (require 'span)
+  (require 'scomint)
   (require 'proof-site)
   (require 'proof-menu)
   (require 'proof-syntax)
-  (proof-ready-for-assistant 'isar)	; compile for isar
-  (defvar proof-assistant-menu nil))
+  (defvar proof-assistant-menu))
 
 (declare-function mapcan "cl-extra")	; spurious bytecomp warning
 
-- 
cgit v1.2.3