Notes on building Poly/ML as Isabelle component
===============================================

* include full source (without symlink):
  $ wget https://github.com/polyml/polyml/archive/master.zip

* component outline:
  $ isabelle build_polyml -C component ...
