From 2dcbef22bed4f9aa060fdf1ce1bd750c612f0244 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 9 Dec 2007 17:54:28 +0000 Subject: Comment unused function --- isar/isabelle-system.el | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) (limited to 'isar/isabelle-system.el') 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") -- cgit v1.2.3