[isabelle-dev] NEWS

Makarius makarius at sketis.net
Wed Jul 2 11:55:38 CEST 2008


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




More information about the isabelle-dev mailing list