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

Makarius 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 mailing list