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/HOL/Tools/Nitpick/nitpick_isar.ML
changeset 52017 bc0238c1f73a
parent 52007 0b1183012a3c
child 52639 df830310e550 
--- a/src/HOL/Tools/Nitpick/nitpick_isar.ML	Wed May 15 22:02:51 2013 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_isar.ML	Wed May 15 22:30:24 2013 +0200
@@ -37,7 +37,10 @@
 
 val _ =
   ProofGeneral.preference_bool ProofGeneral.category_tracing
-    auto "auto-nitpick" "Run Nitpick automatically"
+    NONE
+    auto
+    "auto-nitpick"
+    "Run Nitpick automatically"
 
 type raw_param = string * string list
isabelle