diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2001-12-27 15:56:17 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2001-12-27 15:56:17 +0000 |
| commit | de5082468d456bb7f30d628f5268e98628ebeb7e (patch) | |
| tree | 19198201cc1ff6eb95ada01129cf71f7998f4b68 /isa/isabelle-system.el | |
| parent | d4950c124d4fdd3f215da8ef997dde46d324363a (diff) | |
trace_rules flag;
Diffstat (limited to 'isa/isabelle-system.el')
| -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 7cadc19a..7087120a 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -301,6 +301,11 @@ until Proof General is restarted." :type 'boolean :setting "trace_simp:=%b;") +(defpacustom trace-rules nil + "Whether to trace the standard rules in Isabelle." + :type 'boolean + :setting "trace_rules:=%b;") + (defpacustom quick-and-dirty t "Whether to take a few short cuts occasionally." :type 'boolean |