src/HOL/ROOT
changeset 60008 dfbd51a5eab1
parent 59992 d8db5172c23f
child 60119 54bea620e54f
     1.1 --- a/src/HOL/ROOT	Fri Apr 10 23:58:07 2015 +0200
     1.2 +++ b/src/HOL/ROOT	Sat Apr 11 12:24:51 2015 +0200
     1.3 @@ -806,7 +806,7 @@
     1.4    theories Mirabelle_Test
     1.5  
     1.6  session "HOL-Mirabelle-ex" in "Mirabelle/ex" = "HOL-Mirabelle" +
     1.7 -  options [document = false, timeout = 60]
     1.8 +  options [condition = ML_SYSTEM_POLYML, document = false, timeout = 60]
     1.9    theories Ex
    1.10  
    1.11  session "HOL-Word-SMT_Examples" in SMT_Examples = "HOL-Word" +