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".
This archive was generated by a fusion of
Pipermail (Mailman edition) and