Admin/polyml/CHECKLIST
changeset 66761 808e6ddb5a50
parent 65880 54c6ec4166a4
child 66846 c04f46a6f29d
     1.1 --- a/Admin/polyml/CHECKLIST	Mon Oct 02 22:48:01 2017 +0200
     1.2 +++ b/Admin/polyml/CHECKLIST	Tue Oct 03 12:30:36 2017 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  ===============================================
     1.5  
     1.6  * component skeleton:
     1.7 -  $ isabelle build_polyml_component -s sha1 component
     1.8 +  $ isabelle build_polyml -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