diff options
Diffstat (limited to 'isar/isabelle-system.el')
| -rw-r--r-- | isar/isabelle-system.el | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index 6eb5d892..4c810f86 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -214,12 +214,14 @@ passed to isa-tool-doc-command, DOCNAME will be viewed." (substring docdes (match-end 0))))))) (split-string docs "\n")))))) -(defun isa-quit (save) - "Quit / save the Isabelle session. -Called with one argument: t to save database, nil otherwise." - (if (not save) - (isa-insert-ret "quit();")) - (comint-send-eof)) +; TODO: use this, add dialog to query user to save if DB is r/w? Seems annoying. +; (defun isa-quit (save) +; "Quit / save the Isabelle session. +; Called with one argument: t to save database, nil otherwise." +; (interactive "p") +; (if (not save) +; (isa-insert-ret "quit();")) +; (comint-send-eof)) (defconst isabelle-verbatim-regexp "\\`\^VERBATIM: \\(\\(.\\|\n\\)*\\)\\'" "Regexp matching internal marker for verbatim command output") |