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.
reactivated Scala check
authorhaftmann
Mon, 26 Jul 2010 11:09:45 +0200
changeset 37966 ac9bcae5ada7
parent 37965 0c1743d31b5c
child 37967 3e174df3f965
reactivated Scala check
src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy file | annotate | diff | comparison | revisions
src/HOL/Imperative_HOL/ex/Linked_Lists.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy	Mon Jul 26 11:09:44 2010 +0200
+++ b/src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy	Mon Jul 26 11:09:45 2010 +0200
@@ -655,6 +655,6 @@
 
 ML {* @{code qsort} (Array.fromList [42, 2, 3, 5, 0, 1705, 8, 3, 15]) () *}
 
-export_code qsort checking SML SML_imp OCaml? OCaml_imp? Haskell? (*Scala?*)
+export_code qsort checking SML SML_imp OCaml? OCaml_imp? Haskell? Scala?
 
 end
--- a/src/HOL/Imperative_HOL/ex/Linked_Lists.thy	Mon Jul 26 11:09:44 2010 +0200
+++ b/src/HOL/Imperative_HOL/ex/Linked_Lists.thy	Mon Jul 26 11:09:45 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? (*Scala?*)
+export_code test_1 test_2 test_3 checking SML SML_imp OCaml? OCaml_imp? Haskell? Scala?
 
 end
isabelle