diff options
| author | David Aspinall | 2004-06-16 16:08:19 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-06-16 16:08:19 +0000 |
| commit | be2f20a897ae72bd491935569e1c656652ada4e6 (patch) | |
| tree | 2783299e260fdfaf5d0bb41dd7942bf596b48c56 | |
| parent | 371e59361175aba7d3cfe6b71b57385afc48dd3a (diff) | |
Last change: added also isar-display-draft isar-print-draft for
repository versions of Isabelle.
| -rw-r--r-- | isar/isar.el | 4 |
1 files changed, 3 insertions, 1 deletions
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)]) |