tuned;
authorwenzelm
Wed Oct 11 20:46:38 2017 +0200 (19 months ago)
changeset 668427ded55dd2a55
parent 66841 5c32a072ca8b
child 66843 be08a7691c62
tuned;
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Wed Oct 11 20:16:00 2017 +0200
     1.2 +++ b/src/HOL/ROOT	Wed Oct 11 20:46:38 2017 +0200
     1.3 @@ -243,13 +243,13 @@
     1.4      Generate_Pretty_Char
     1.5      Code_Test_PolyML
     1.6      Code_Test_Scala
     1.7 -  theories [condition = "ISABELLE_GHC"]
     1.8 +  theories [condition = ISABELLE_GHC]
     1.9      Code_Test_GHC
    1.10 -  theories [condition = "ISABELLE_MLTON"]
    1.11 +  theories [condition = ISABELLE_MLTON]
    1.12      Code_Test_MLton
    1.13 -  theories [condition = "ISABELLE_OCAMLC"]
    1.14 +  theories [condition = ISABELLE_OCAMLC]
    1.15      Code_Test_OCaml
    1.16 -  theories [condition = "ISABELLE_SMLNJ"]
    1.17 +  theories [condition = ISABELLE_SMLNJ]
    1.18      Code_Test_SMLNJ
    1.19  
    1.20  session "HOL-Metis_Examples" (timing) in Metis_Examples = "HOL-Library" +