changeset 66998 | 8905114fd23b |
parent 66997 | 17eb23e43630 |
child 66999 | c70c47dcf63e |
--- a/Admin/polyml/CHECKLIST Fri Nov 03 19:20:47 2017 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,8 +0,0 @@ -Notes on building Poly/ML as Isabelle component -=============================================== - -* component skeleton: - $ isabelle build_polyml_component -s sha1 component - -* include full source (without symlink), for example: - $ wget https://github.com/polyml/polyml/archive/master.zip