changeset 49349 | be27a453aacc |
parent 49310 | 6e30078de4f0 |
child 49404 | a93d920707bb |
--- a/src/HOL/ROOT Thu Sep 13 16:10:20 2012 +0200 +++ b/src/HOL/ROOT Thu Sep 13 16:43:33 2012 +0200 @@ -657,6 +657,7 @@ theories Mirabelle_Test session "HOL-Mirabelle-ex" in "Mirabelle/ex" = "HOL-Mirabelle" + + options [document = false, timeout = 600 (* FIXME avoid "hang" of external bash *) ] theories Ex session "HOL-Word-SMT_Examples" in SMT_Examples = "HOL-Word" +