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 21545 54cc492d80a9
parent 21537 45b3a85ee548
child 21595 b5a642c4d085 
--- a/NEWS	Mon Nov 27 12:12:18 2006 +0100
+++ b/NEWS	Mon Nov 27 13:42:30 2006 +0100
@@ -63,7 +63,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