src/HOL/ROOT
changeset 49404 a93d920707bb
parent 49349 be27a453aacc
child 49439 80b1963215c8
     1.1 --- a/src/HOL/ROOT	Mon Sep 17 15:33:22 2012 +0200
     1.2 +++ b/src/HOL/ROOT	Mon Sep 17 15:38:16 2012 +0200
     1.3 @@ -658,7 +658,7 @@
     1.4  
     1.5  session "HOL-Mirabelle-ex" in "Mirabelle/ex" = "HOL-Mirabelle" +
     1.6    options [document = false, timeout = 600 (* FIXME avoid "hang" of external bash *) ]
     1.7 -  theories Ex
     1.8 +  theories [condition = ISABELLE_FULL_TEST] Ex
     1.9  
    1.10  session "HOL-Word-SMT_Examples" in SMT_Examples = "HOL-Word" +
    1.11    options [document = false, quick_and_dirty]