Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more accurate dependencies
authorhaftmann
Fri, 22 Jan 2010 13:38:29 +0100
changeset 34945 478f31081a78
parent 34944 970e1466028d
child 34946 aa5d27f1d9b9
more accurate dependencies
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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 \
isabelle