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.
deactivated test for the moment
authorhaftmann
Fri, 22 Dec 2006 15:35:17 +0100
changeset 21898 46be40d304d7
parent 21897 d0c67d715deb
child 21899 dab16d14db60
deactivated test for the moment
src/HOL/ex/Codegenerator.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/Codegenerator.thy	Fri Dec 22 14:24:04 2006 +0100
+++ b/src/HOL/ex/Codegenerator.thy	Fri Dec 22 15:35:17 2006 +0100
@@ -76,6 +76,6 @@
 definition
   "shadow keywords = keywords @ [Codegenerator.keywords 0 0 0 0 0 0]"
 
-code_gen "*" (Haskell -) (SML #)
+(*code_gen "*" (Haskell -) (SML #)*)
 
 end
\ No newline at end of file
isabelle