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.
reactivate HOL-Mirabelle-ex with increased chances that it works most of the time (cf. bec1add86e79, a93d920707bb, be27a453aacc);
authorwenzelm
Wed, 19 Sep 2012 21:06:35 +0200
changeset 49448 8a232a4e3fd8
parent 49447 bec1add86e79
child 49449 ffc06b54cb22
reactivate HOL-Mirabelle-ex with increased chances that it works most of the time (cf. bec1add86e79, a93d920707bb, be27a453aacc);
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Wed Sep 19 18:01:48 2012 +0200
+++ b/src/HOL/ROOT	Wed Sep 19 21:06:35 2012 +0200
@@ -657,8 +657,8 @@
   theories Mirabelle_Test
 
 session "HOL-Mirabelle-ex" in "Mirabelle/ex" = "HOL-Mirabelle" +
-  options [document = false, timeout = 600 (* FIXME avoid "hang" of external bash *) ]
-  theories [condition = ISABELLE_FULL_TEST] Ex
+  options [document = false, timeout = 60]
+  theories Ex
 
 session "HOL-Word-SMT_Examples" in SMT_Examples = "HOL-Word" +
   options [document = false, quick_and_dirty]
isabelle