Admin/polyml/CHECKLIST
author wenzelm
Tue Oct 03 12:30:36 2017 +0200 (19 months ago)
changeset 66761 808e6ddb5a50
parent 65880 54c6ec4166a4
child 66846 c04f46a6f29d
permissions -rw-r--r--
more recent polyml-test version;
     1 Notes on building Poly/ML as Isabelle component
     2 ===============================================
     3 
     4 * component skeleton:
     5   $ isabelle build_polyml -s sha1 component
     6 
     7 * include full source (without symlink), for example:
     8   $ wget https://github.com/polyml/polyml/archive/master.zip