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.
splut up code generation in two parts
authorhaftmann
Sat, 10 Feb 2007 09:26:16 +0100
changeset 22297 757ace95c4a0
parent 22296 c9e7c6e73de3
child 22298 9ca7d368968d
splut up code generation in two parts
src/HOL/ex/Codegenerator.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/Codegenerator.thy	Sat Feb 10 09:26:15 2007 +0100
+++ b/src/HOL/ex/Codegenerator.thy	Sat Feb 10 09:26:16 2007 +0100
@@ -8,6 +8,7 @@
 imports ExecutableContent
 begin
 
-code_gen "*" (SML #) (Haskell -) (OCaml -)
+code_gen "*" (SML) (Haskell) (OCaml)
+code_gen (SML #) (Haskell -) (OCaml -)
 
 end
\ No newline at end of file
isabelle