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.
check code generation for Scala
authorhaftmann
Mon, 19 Jul 2010 11:55:42 +0200
changeset 37879 443909380077
parent 37878 d016aaead7a2
child 37880 3b9ca8d2c5fb
check code generation for Scala
src/HOL/Imperative_HOL/ex/Linked_Lists.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Imperative_HOL/ex/Linked_Lists.thy	Mon Jul 19 11:55:42 2010 +0200
+++ b/src/HOL/Imperative_HOL/ex/Linked_Lists.thy	Mon Jul 19 11:55:42 2010 +0200
@@ -1014,6 +1014,6 @@
 ML {* @{code test_2} () *}
 ML {* @{code test_3} () *}
 
-export_code test_1 test_2 test_3 checking SML SML_imp OCaml? OCaml_imp? Haskell?
+export_code test_1 test_2 test_3 checking SML SML_imp OCaml? OCaml_imp? Haskell? Scala?
 
 end
isabelle