diff options
| author | David Aspinall | 2000-03-19 06:45:54 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-19 06:45:54 +0000 |
| commit | 508be7e9b3177c7eb9bb5752e8975c9dd22ec024 (patch) | |
| tree | 48b1b6bdb427b5a90f5429efd824c782f748f06d | |
| parent | 515f9da2eace774e55f76789ff7a2697358ab336 (diff) | |
Added setting for silent mode.
| -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 45940dc8..f93b2d2e 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -214,6 +214,8 @@ proof-info-command "help" proof-kill-goal-command "ProofGeneral.kill_proof;" proof-find-theorems-command "thms_containing %s;" + proof-shell-start-silent-cmd "disable_pr;" + proof-shell-stop-silent-cmd "enable_pr;" ;; command hooks proof-goal-command-p 'isar-goal-command-p proof-really-save-command-p 'isar-global-save-command-p @@ -536,7 +538,7 @@ proof-shell-retract-files-regexp." ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (defun isar-preprocessing () ;dynamic scoping of `string' - "Insert sync markers - acts on variable string by dynamic scoping" + "Insert sync markers - acts on variable STRING by dynamic scoping" (if (string-match isar-verbatim-regexp string) (setq string (match-string 1 string)) (setq string (concat "\\<^sync>" (isar-shell-adjust-line-width) string "\\<^sync>;")))) |