[isabelle-dev] isabelle build
makarius at sketis.net
Mon Aug 6 12:09:54 CEST 2012
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
More information about the isabelle-dev