changeset 66846 | c04f46a6f29d |
parent 66761 | 808e6ddb5a50 |
--- a/Admin/polyml/CHECKLIST Wed Oct 11 21:36:53 2017 +0200 +++ b/Admin/polyml/CHECKLIST Wed Oct 11 21:41:11 2017 +0200 @@ -2,7 +2,7 @@ =============================================== * component skeleton: - $ isabelle build_polyml -s sha1 component + $ isabelle build_polyml_component -s sha1 component * include full source (without symlink), for example: $ wget https://github.com/polyml/polyml/archive/master.zip