diff -r ee4b9cea7fb5 -r 3d20ded18f14 src/HOL/ROOT
--- a/src/HOL/ROOT	Sat Dec 17 14:13:15 2016 +0100
+++ b/src/HOL/ROOT	Sat Dec 17 14:47:41 2016 +0100
@@ -238,16 +238,14 @@
     Generate_Target_Nat
     Generate_Efficient_Datastructures
     Generate_Pretty_Char
+    Code_Test_PolyML
+    Code_Test_Scala
   theories [condition = "ISABELLE_GHC"]
     Code_Test_GHC
   theories [condition = "ISABELLE_MLTON"]
     Code_Test_MLton
   theories [condition = "ISABELLE_OCAMLC"]
     Code_Test_OCaml
-  theories [condition = "ISABELLE_POLYML"]
-    Code_Test_PolyML
-  theories [condition = "ISABELLE_SCALA"]
-    Code_Test_Scala
   theories [condition = "ISABELLE_SMLNJ"]
     Code_Test_SMLNJ