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.
made N2M tests conditional, since they appear to cause Isatest timeouts and are kind of slow
authorblanchet
Wed, 24 Sep 2014 17:33:53 +0200
changeset 58433 d518f892cec6
parent 58432 121d5e3319ee
child 58434 2fa300429c11
made N2M tests conditional, since they appear to cause Isatest timeouts and are kind of slow
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Wed Sep 24 16:35:42 2014 +0200
+++ b/src/HOL/ROOT	Wed Sep 24 17:33:53 2014 +0200
@@ -758,12 +758,12 @@
     Stream_Processor
     Misc_Codatatype
     Misc_Datatype
-    Misc_N2M
     Misc_Primcorec
     Misc_Primrec
   theories [condition = ISABELLE_FULL_TEST, timing]
     Brackin
     IsaFoR
+    Misc_N2M
 
 session "HOL-Word" (main) in Word = HOL +
   options [document_graph]
isabelle