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 71118 2bc568573a47
parent 71113 153ed199c0d4
child 71160 625df1eb7873 
--- a/Admin/polyml/README	Thu Nov 14 11:43:46 2019 +0100
+++ b/Admin/polyml/README	Thu Nov 14 11:49:54 2019 +0100
@@ -47,4 +47,4 @@
 
 
         Makarius
-        13-Nov-2019
+        14-Nov-2019
isabelle