[isabelle-dev] NEWS: Isabelle sessions and build management

[Makarius]

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?


 	Makarius