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 39781 2053638a2bf2
parent 39148 b6530978c14d
child 41343 71f4f15258a5 
--- a/src/Tools/Code/code_scala.ML	Wed Sep 29 09:21:26 2010 +0200
+++ b/src/Tools/Code/code_scala.ML	Wed Sep 29 10:05:44 2010 +0200
@@ -430,7 +430,7 @@
       "true", "type", "val", "var", "while", "with", "yield"
     ]
   #> fold (Code_Target.add_reserved target) [
-      "apply", "error", "BigInt", "Nil", "List"
+      "apply", "error", "scala", "BigInt", "Nil", "List"
     ];
 
 end; (*struct*)
isabelle