diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-12-09 17:54:28 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-09 17:54:28 +0000 |
| commit | 2dcbef22bed4f9aa060fdf1ce1bd750c612f0244 (patch) | |
| tree | 3c494371ffc81c67bbc1ea1bc34c90371e078c35 /isar/isabelle-system.el | |
| parent | 6be19ebc71ad08dcb6c8ebafba73348be3137e03 (diff) | |
Comment unused function
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") |