back to build_polyml_component according to 54c6ec4166a4 (amending 808e6ddb5a50);
authorwenzelm
Wed Oct 11 21:41:11 2017 +0200 (19 months ago)
changeset 66846c04f46a6f29d
parent 66845 6847eb01ae47
child 66847 e8282131ddf9
back to build_polyml_component according to 54c6ec4166a4 (amending 808e6ddb5a50);
Admin/polyml/CHECKLIST
     1.1 --- a/Admin/polyml/CHECKLIST	Wed Oct 11 21:36:53 2017 +0200
     1.2 +++ b/Admin/polyml/CHECKLIST	Wed Oct 11 21:41:11 2017 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  ===============================================
     1.5  
     1.6  * component skeleton:
     1.7 -  $ isabelle build_polyml -s sha1 component
     1.8 +  $ isabelle build_polyml_component -s sha1 component
     1.9  
    1.10  * include full source (without symlink), for example:
    1.11    $ wget https://github.com/polyml/polyml/archive/master.zip