[isabelle-dev] isabelle build

Makarius makarius at sketis.net
Wed Aug 8 00:08:51 CEST 2012

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.


More information about the isabelle-dev mailing list