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.
tuned
authorhaftmann
Fri, 24 Oct 2008 17:48:39 +0200
changeset 28686 5d63184c10c7
parent 28685 275122631271
child 28687 150a8a1eae1a
tuned
src/HOL/ex/Codegenerator.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/Codegenerator.thy	Fri Oct 24 17:48:37 2008 +0200
+++ b/src/HOL/ex/Codegenerator.thy	Fri Oct 24 17:48:39 2008 +0200
@@ -14,7 +14,6 @@
 nonfix upto;
 *}
 
-export_code "RType.*" -- "workaround for cache problem"
 export_code * in SML module_name CodegenTest
   in OCaml module_name CodegenTest file -
   in Haskell file -
isabelle