diff options
| -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)]) |