| changeset 77190 | f6ba88f23135 |
| parent 77189 | 461c078e545f |
| child 77191 | c42bf52381f1 |
--- a/Admin/polyml/NOTES Fri Feb 03 22:39:59 2023 +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 polyml.tar.gz polyml - -* include full source (without symlink), for example: - $ wget https://github.com/polyml/polyml/archive/master.zip