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/CHECKLIST
changeset 51066 7fc61bfb1c2d
parent 51061 1f184f8ec10b
child 56959 0953208a32c7 
--- a/Admin/polyml/CHECKLIST	Mon Jan 28 12:25:36 2013 +0100
+++ b/Admin/polyml/CHECKLIST	Mon Jan 28 14:33:19 2013 +0100
@@ -5,7 +5,7 @@
 
 * copy build
 
-* copy updated etc/settings
+* copy etc/settings
 
 * include full source (without symlink)
isabelle