Admin/polyml/NOTES
author wenzelm
Sun May 13 20:24:33 2018 +0200 (15 months ago)
changeset 68172 0f14cf9c632f
parent 67583 c933a5d4e1ee
permissions -rw-r--r--
more concise information;
     1 Notes on building Poly/ML as Isabelle component
     2 ===============================================
     3 
     4 * component skeleton:
     5   $ isabelle build_polyml_component -s sha1 component
     6 
     7 * include full source (without symlink), for example:
     8   $ wget https://github.com/polyml/polyml/archive/master.zip