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

Gerwin Klein gerwin.klein at nicta.com.au
Sun Jul 29 03:16:40 CEST 2012

On 29/07/2012, at 5:06 AM, Makarius <makarius at sketis.net> wrote:
> For AFP, I would like to see a scheme without hardwired "document" option within the ROOTs. Instead it can be provided for particular invocations of "isabelle build -o document=pdf" etc.  This and build -j MAX should give a great speedup of everyday testing of AFP, with latex out of the way and many cores busy.

This will need some care. The documents and outline are one major outcome (some might say the whole point) of the AFP sessions. So we still need to test them in the nightly run and some sessions will require special setup, e.g. other programs to run before the document is produced. This should be only a very small number of sessions, though, which we can probably work out.

It'll definitely be nice to have a faster non-latex mode for developers.


More information about the isabelle-dev mailing list