src/HOL/ROOT
changeset 58039 469a375212c1
parent 58023 62826b36ac5e
child 58110 019c0211ed1f
     1.1 --- a/src/HOL/ROOT	Mon Aug 25 09:08:45 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Mon Aug 25 09:40:50 2014 +0200
     1.3 @@ -237,6 +237,19 @@
     1.4      Generate_Target_Nat
     1.5      Generate_Efficient_Datastructures
     1.6      Generate_Pretty_Char
     1.7 +    Code_Test
     1.8 +  theories[condition = ISABELLE_GHC]
     1.9 +    Code_Test_GHC
    1.10 +  theories[condition = ISABELLE_MLTON]
    1.11 +    Code_Test_MLton
    1.12 +  theories[condition = ISABELLE_OCAMLC]
    1.13 +    Code_Test_OCaml
    1.14 +  theories[condition = ISABELLE_POLYML_PATH]
    1.15 +    Code_Test_PolyML
    1.16 +  theories[condition = ISABELLE_SCALA]
    1.17 +    Code_Test_Scala
    1.18 +  theories[condition = ISABELLE_SMLNJ]
    1.19 +    Code_Test_SMLNJ
    1.20  
    1.21  session "HOL-Metis_Examples" in Metis_Examples = HOL +
    1.22    description {*