[isabelle-dev] isabelle build

[Makarius]

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