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 ...