From be2f20a897ae72bd491935569e1c656652ada4e6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 Jun 2004 16:08:19 +0000
Subject: Last change: added also isar-display-draft isar-print-draft for
 repository versions of Isabelle.

---
 isar/isar.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/isar/isar.el b/isar/isar.el
index 160f2d70..539df682 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -371,7 +371,9 @@ proof-shell-retract-files-regexp."
 (proof-definvisible isar-help-theorems "print_theorems" [h t])
 (proof-definvisible isar-help-trans-rules "print_trans_rules" [h T])
 
-;; NB: would be nice to query save first for these next two
+;; NB: would be nice to query save of the buffer first for these 
+;; next two: but only convenient emacs functions offer save for
+;; all buffers.
 (proof-definvisible isar-display-draft
  '(format "display_drafts \"%s\"" buffer-file-name)
  [(control d)])
-- 
cgit v1.2.3