On 29/07/2012, at 5:06 AM, Makarius <makar...@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. Gerwin _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
