[isabelle-dev] isabelle build

Makarius 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 mailing list