[isabelle-dev] NEWS

[Gerwin Klein]

Makarius wrote:
> 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.

That would make the above quite a bit simpler. I'm looking forward to
isatool session..

Cheers,
Gerwin