Re: [isabelle] Is there an “isabelle make” tutorial?



After Markus's comments,

Attached document, is an IsaMakefile template. Tested with GNU make (may not work with other make variant). It's simple enough, you just have to change “Isa_Test” to match your session name. It rebuilds the session whenever a theory file has changed, builds “document.pdf”, and IsaMakefile has a dependence to it‑self, so that build is considered dirty if ever you change any thing in IsaMakefile.

As usual, don't forget too, to setup your ROOT.ML file properly.

--
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University

Attachment: IsaMakefile
Description: Binary data



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.