[isabelle-dev] NEWS

[Makarius]

On Wed, 2 Jul 2008, Gerwin Klein wrote:

> You can always build your own custom images with exactly the part you 
> need (not that it's a nice user-interface paradigm, and you need to 
> replicate parts of Makefiles, but it's not a show-stopper either).

An important aim of the prospective "isatool session" command is to get 
rid of IsaMakefiles altogether -- the information is already present in 
the theory files themselves, only the ROOT entry points need to be 
specified.


	Makarius