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