Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clear identification
authorblanchet
Thu, 28 Oct 2010 09:29:57 +0200
changeset 40223 9f001f7e6c0c
parent 40222 cd6d2b0a4096
child 40224 7883fefd6a7b
clear identification
src/HOL/Tools/Nitpick/nitpick.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Nitpick/nitpick.ML	Wed Oct 27 19:14:33 2010 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick.ML	Thu Oct 28 09:29:57 2010 +0200
@@ -629,7 +629,7 @@
       in
         (pprint (Pretty.chunks
              [Pretty.blk (0,
-                  (pstrs ("Nitpick found a" ^
+                  (pstrs ((if auto then "Auto " else "") ^ "Nitpick found a" ^
                           (if not genuine then " potential "
                            else if genuine_means_genuine then " "
                            else " quasi genuine ") ^ das_wort_model) @
isabelle