Admin/polyml/CHECKLIST
author wenzelm
Mon, 22 May 2017 00:23:25 +0200
changeset 65897 94b0da1b242e
parent 65880 54c6ec4166a4
child 66761 808e6ddb5a50
permissions -rw-r--r--
back to scala-2.11.8 due to apparent non-termination of HOL-Codegenerator_Test;

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

* component skeleton:
  $ isabelle build_polyml_component -s sha1 component

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