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.
show: non-critical testing;
authorwenzelm
Thu, 18 Sep 2008 14:06:58 +0200
changeset 28289 efd53393412b
parent 28288 09c812966e7f
child 28290 4cc2b6046258
show: non-critical testing;
src/Pure/Isar/proof.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/proof.ML	Thu Sep 18 14:06:56 2008 +0200
+++ b/src/Pure/Isar/proof.ML	Thu Sep 18 14:06:58 2008 +0200
@@ -947,7 +947,7 @@
       else ();
     val test_proof =
       (Seq.pull oo local_skip_proof) true
-      |> setmp testing true
+      |> setmp_noncritical testing true
       |> Exn.capture;
 
     fun after_qed' results =
isabelle