Did everybody try the isabelle build tool? Are there any problems left,
apart from retraining fingers after 16 years of usedir/make/makeall?
Isatest and mira already work with the new setup, and AFP is easily fooled
via some rudimentary HOL/IsaMakefile that contains targets for the images
that it needs (using isabelle build under the hood).
This means we are basically ready to dispose the old IsaMakefile + ROOT.ML
collection.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
