From 340b4c7ebc98471ca6383cbf495345d98999a402 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 7 Oct 2004 14:22:15 +0000
Subject: Remove print draft from menu

---
 isar/isar.el | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/isar/isar.el b/isar/isar.el
index 57bfc342..66f5d8ad 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -232,7 +232,7 @@ See -k option for Isabelle interface script."
    proof-assistant-setting-format       
    (unless isa-supports-pgip 'isar-markup-ml)
 
-   proof-shell-init-cmd			'(proof-assistant-settings-cmd)
+   proof-shell-init-cmd			nil
    proof-shell-restart-cmd              "ProofGeneral.restart"
 
    proof-shell-eager-annotation-start-length 1
@@ -411,8 +411,6 @@ proof-shell-retract-files-regexp."
     ;; FIXME: these are not defined until post Isabelle2004,
     ;; for now we grey them out in the menu except for CVS version.
     ["Display draft" isar-display-draft 
-     (string-match "repository" isabelle-version-string)]
-    ["Print draft"   isar-print-draft 
      (string-match "repository" isabelle-version-string)])))
 
 ;; undo proof commands
-- 
cgit v1.2.3