Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Code/code_scala.ML
changeset 59104 a14475f044b2
parent 58520 a4d1f8041af0
child 59323 468bd3aedfa1 
--- a/src/Tools/Code/code_scala.ML	Thu Dec 04 16:51:54 2014 +0100
+++ b/src/Tools/Code/code_scala.ML	Fri Dec 05 19:35:36 2014 +0100
@@ -424,7 +424,7 @@
 (** Isar setup **)
 
 val setup =
-  Code_Target.add_target
+  Code_Target.add_language
     (target, { serializer = serializer, literals = literals,
       check = { env_var = "SCALA_HOME",
         make_destination = fn p => Path.append p (Path.explode "ROOT.scala"),
isabelle