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.
Admin/polyml/README
changeset 61924 55b3d21ab5e5
parent 61795 16901b0392c6
child 62199 fc55a4e3f439 
--- a/Admin/polyml/README	Wed Dec 23 20:23:44 2015 +0100
+++ b/Admin/polyml/README	Wed Dec 23 21:15:26 2015 +0100
@@ -2,7 +2,7 @@
 ====================
 
 This is a preview of Poly/ML 5.6, based on
-https://github.com/polyml/polyml/ commit b97488071c19.
+https://github.com/polyml/polyml/ commit 74a14cce7b20.
 
 The included build script is used like this:
 
@@ -18,4 +18,4 @@
 
 
         Makarius
-        23-Nov-2015
+        23-Dec-2015
isabelle