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 66761 808e6ddb5a50
parent 65880 54c6ec4166a4
child 66846 c04f46a6f29d 
--- a/Admin/polyml/CHECKLIST	Mon Oct 02 22:48:01 2017 +0200
+++ b/Admin/polyml/CHECKLIST	Tue Oct 03 12:30:36 2017 +0200
@@ -2,7 +2,7 @@
 ===============================================
 
 * component skeleton:
-  $ isabelle build_polyml_component -s sha1 component
+  $ isabelle build_polyml -s sha1 component
 
 * include full source (without symlink), for example:
   $ wget https://github.com/polyml/polyml/archive/master.zip
isabelle