Latest NEWS (a5e3ba7cbb2a):
* Discontinued obsolete IsaMakefile and ROOT.ML files from the
Isabelle distribution, except for rudimentary src/HOL/IsaMakefile that
provides some traditional targets that invoke "isabelle build". Note
that this is inefficient! Applications of Isabelle/HOL involving
"isabelle make" should be upgraded to use "isabelle build" directly.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
