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; Isabelle2007
authorwenzelm
Thu, 22 Nov 2007 14:51:34 +0100
changeset 25456 6f79698f294d
parent 25455 ab519be677ba
child 25457 ba2bcae7aafd
tuned;
Admin/polyml-5.1/README file | annotate | diff | comparison | revisions 
--- a/Admin/polyml-5.1/README	Thu Nov 22 14:48:52 2007 +0100
+++ b/Admin/polyml-5.1/README	Thu Nov 22 14:51:34 2007 +0100
@@ -1,6 +1,7 @@
 
 This distribution of Poly/ML 5.1 has been compiled from the original
-sources (as available from http://sourceforge.net/projects/polyml/):
+sources (available from http://sourceforge.net/projects/polyml/) as
+follows:
 
   tar xvzf polyml.5.1.tar.gz
   cd polyml.5.1
isabelle