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.
no Gencode.ML
authorobua
Mon, 05 Nov 2007 15:01:21 +0100
changeset 25279 5ff6fc338db1
parent 25278 3026df96941d
child 25280 c7686ac6c240
no Gencode.ML
src/Tools/Compute_Oracle/am_sml.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/Compute_Oracle/am_sml.ML	Mon Nov 05 14:26:41 2007 +0100
+++ b/src/Tools/Compute_Oracle/am_sml.ML	Mon Nov 05 15:01:21 2007 +0100
@@ -499,7 +499,7 @@
 	val code = Real.toString (random ())
 	val module = "AMSML_"^guid
 	val (arity, toplevel_arity, inlinetab, source) = sml_prog module code eqs
-	val _ = writeTextFile "Gencode.ML" source
+	(*val _ = writeTextFile "Gencode.ML" source*)
 	val _ = compiled_rewriter := NONE
 	val _ = use_source source
     in
isabelle