diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-06-29 12:46:22 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-06-29 12:46:22 +0000 |
| commit | 149611d1f353c4040167a38f4632010227f5407e (patch) | |
| tree | bf3db7fd6a506cbef1e015150e39338e02f7bfe6 | |
| parent | 96daaa847c3564ed276c00a91081f3cc86ff1841 (diff) | |
Added quick-and-dirty setting -- we can still argue about the default, 8-)
| -rw-r--r-- | isa/isabelle-system.el | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index ab9ace03..49852793 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -264,6 +264,11 @@ until Proof General is restarted." :type 'boolean :setting "trace_simp:=%b;") +(defpacustom quick-and-dirty nil + "Whether to take a few short cuts in interactive mode." + :type 'boolean + :setting "quick_and_dirty:=%b;") + ; FIXME: for Isabelle99-1 ; (defpacustom global-timing nil ; "Whether to enable timing in Isabelle." |