diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-05-30 12:24:22 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-05-30 12:24:22 +0000 |
| commit | edef6b2fbf0f4cd18a85be708b86b5bd01855286 (patch) | |
| tree | 081693ab37f97c16a58f90e12e58fba95a9434d9 | |
| parent | 99b753b05af4f18b6a7cb75aacd9fee0293f0f04 (diff) | |
defpacustom global-timing;
| -rw-r--r-- | isa/isabelle-system.el | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index 78222588..54221cd7 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -202,7 +202,7 @@ generated with the lisp form `(isa-tool-list-logics)'." :type (list 'string) :group 'isabelle) -;; FIXME: type here needs to be dynamic based on isabelle-logics-avalable +;; FIXME: type here needs to be dynamic based on isabelle-logics-available ;; Is that possible? ;; Otherwise it should be updated on re-loading. (defcustom isabelle-logic "HOL" @@ -257,6 +257,11 @@ until Proof General is restarted." :type 'boolean :setting "trace_simp:=%b;") +(defpacustom global-timing nil + "Whether to enable timing in Isabelle." + :type 'boolean + :setting "Library.timing:=%b;") + (defpacustom print-depth 10 "Setting for the ML print depth in Isabelle." :type 'integer |