Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
show: non-critical testing;
authorwenzelm
Thu, 18 Sep 2008 14:06:58 +0200
changeset 28289efd53393412b
parent 28288 09c812966e7f
child 28290 4cc2b6046258
show: non-critical testing;
src/Pure/Isar/proof.ML file | annotate | diff | comparison | revisions 
     1.1 --- a/src/Pure/Isar/proof.ML	Thu Sep 18 14:06:56 2008 +0200
     1.2 +++ b/src/Pure/Isar/proof.ML	Thu Sep 18 14:06:58 2008 +0200
     1.3 @@ -947,7 +947,7 @@
     1.4        else ();
     1.5      val test_proof =
     1.6        (Seq.pull oo local_skip_proof) true
     1.7 -      |> setmp testing true
     1.8 +      |> setmp_noncritical testing true
     1.9        |> Exn.capture;
    1.10  
    1.11      fun after_qed' results =
wneuper/isa