| changeset 34294 | 19c1fd52d6c9 |
| parent 34028 | 1e6206763036 |
| child 34968 | ceeffca32eb0 |
--- a/src/Tools/Code_Generator.thy Tue Jan 05 16:55:00 2010 +0100 +++ b/src/Tools/Code_Generator.thy Fri Jan 08 12:25:15 2010 +0100 @@ -18,6 +18,7 @@ "~~/src/Tools/Code/code_ml.ML" "~~/src/Tools/Code/code_eval.ML" "~~/src/Tools/Code/code_haskell.ML" + "~~/src/Tools/Code/code_scala.ML" "~~/src/Tools/nbe.ML" begin @@ -26,6 +27,7 @@ #> Code_ML.setup #> Code_Eval.setup #> Code_Haskell.setup + #> Code_Scala.setup #> Nbe.setup *}