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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
