Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/proof_general_pure.ML
changeset 56265 785569927666
parent 54717 42c209a6c225
child 56279 b4d874f6c6be 
--- a/src/Pure/Tools/proof_general_pure.ML	Sun Mar 23 16:40:35 2014 +0100
+++ b/src/Pure/Tools/proof_general_pure.ML	Mon Mar 24 12:00:17 2014 +0100
@@ -121,11 +121,11 @@
     "Whether to enable timing in Isabelle";
 
 val _ =
-  ProofGeneral.preference_bool ProofGeneral.category_tracing
+  ProofGeneral.preference_option ProofGeneral.category_tracing
     NONE
-    Toplevel.debug
+    @{option exception_trace}
     "debugging"
-    "Whether to enable debugging";
+    "Whether to enable exception trace for toplevel command execution";
 
 val _ =
   ProofGeneral.preference_bool ProofGeneral.category_tracing
isabelle