Re: [isabelle] isatool problems



On Fri, 27 Feb 2009, Peter Chapman wrote:

> Has something changed with isatool in Isabelle2008?  All of my installation
> works fine, but when I come to use the document preparation stuff
> 
> isatool make clean
> isatool make
> 
> my command line tells me the file isatool no longer exists.

This looks more like you are using an unofficial version after 
Isabelle2008.  Plain "isabelle make" etc. should do the job -- there is 
only one script wrapper left and it is called "isabelle".


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.