Admin/polyml/CHECKLIST
author wenzelm
Wed, 17 May 2017 13:47:19 +0200
changeset 65851 c103358a5559
parent 65032 42b92fa72a51
child 65880 54c6ec4166a4
permissions -rw-r--r--
tuned signature;

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