1Notes on building Poly/ML as Isabelle component
2===============================================
3
4* component skeleton:
5  $ isabelle build_polyml_component -s sha1 component
6
7* include full source (without symlink), for example:
8  $ wget https://github.com/polyml/polyml/archive/master.zip
9