[isabelle-dev] NEWS: Isabelle sessions and build management
makarius at sketis.net
Mon Jul 30 17:52:48 CEST 2012
On Sat, 28 Jul 2012, Makarius wrote:
> In particular, we need to devise a plan to upgrade:
> * isatest (Makarius?)
> * mira (?)
> * AFP (Gerwin and Makarius?)
This is the current situation in Isabelle/795d38a6dab3:
* isatest uses isabelle build, it now also does a doc-src test, so any
earlier attempts to do that can be discontinued. (It merely requires
makedist -D initially.)
Lets see how the cronjob likes the new scripts.
* doc-src is already free from old IsaMakefile + ROOT.ML; manuals
can be build like this:
isabelle build -g doc
isabelle build Classes Codegen
* Mira is still unchanged.
* I've looked a bit further through AFP, but found only few
extraordinary things so far. Compared to doc-src the conversion
should be relatively simple -- hopefully.
Anyway, what is the purpose of ISABELLE_IMAGE_PATH in AFP?
More information about the isabelle-dev