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.
src/Pure/ML-Systems/polyml-4.9.1.ML
changeset 21280 b4aa7daa506b
parent 21176 5ec545dbad6f
child 21300 2fbe0044edd9 
--- a/src/Pure/ML-Systems/polyml-4.9.1.ML	Thu Nov 09 23:40:19 2006 +0100
+++ b/src/Pure/ML-Systems/polyml-4.9.1.ML	Fri Nov 10 00:12:28 2006 +0100
@@ -1,4 +1,4 @@
-(*  Title:      Pure/ML-Systems/polyml-4.2.0.ML
+(*  Title:      Pure/ML-Systems/polyml-4.9.1.ML
     ID:         $Id$
     Author:     Makarius
isabelle