[isabelle-dev] NEWS

Gerwin Klein gerwin.klein at nicta.com.au
Wed Jul 2 11:58:16 CEST 2008

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..


More information about the isabelle-dev mailing list