| changeset 34958 | dcd0fa5cc6d3 |
| parent 34948 | 2d5f2a9f7601 |
| parent 34945 | 478f31081a78 |
| child 34965 | 3b4762c1052c |
--- a/src/HOL/IsaMakefile Fri Jan 22 11:42:28 2010 +0100 +++ b/src/HOL/IsaMakefile Fri Jan 22 15:26:29 2010 +0100 @@ -109,6 +109,7 @@ $(SRC)/Tools/Code/code_ml.ML \ $(SRC)/Tools/Code/code_preproc.ML \ $(SRC)/Tools/Code/code_printer.ML \ + $(SRC)/Tools/Code/code_scala.ML \ $(SRC)/Tools/Code/code_target.ML \ $(SRC)/Tools/Code/code_thingol.ML \ $(SRC)/Tools/Code_Generator.thy \