Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 21125 9b7d35ca1eef
parent 21109 f8f89be75e81
child 21170 01ef0dbd51ae 
--- a/NEWS	Tue Oct 31 09:29:18 2006 +0100
+++ b/NEWS	Tue Oct 31 14:58:12 2006 +0100
@@ -52,7 +52,7 @@
 code for ML and Haskell (including "class"es). A short usage sketch:
 
     internal compilation:
-        code_gen <list of constants (term syntax)> (SML -)
+        code_gen <list of constants (term syntax)> (SML *)
     writing SML code to a file:
         code_gen <list of constants (term syntax)> (SML <filename>)
     writing Haskell code to a bunch of files:
isabelle