# HG changeset patch # User haftmann # Date 1264163909 -3600 # Node ID 478f31081a785ee7b98965757bf8b10a6eb20a93 # Parent 970e1466028d1788eec5e4d47a59faea97a922e1 more accurate dependencies diff -r 970e1466028d -r 478f31081a78 src/HOL/IsaMakefile --- a/src/HOL/IsaMakefile Fri Jan 22 13:38:28 2010 +0100 +++ b/src/HOL/IsaMakefile Fri Jan 22 13:38: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 \