Re: [isabelle] proof-compat file error
Makarius <makarius at sketis.net> schrieb:
> On Tue, 4 Apr 2006, Francisco Jose CHAVES ALONSO wrote:
>> I am using Linux debian (sarge version) as operating system.
> If you happen to have a .deb version of ProofGeneral installed, it might
> be better to remove it first.
or use the 'unoffcial' one from http://www.brucker.ch/projects/debian/
which should be recent enough (btw, Debian packages for Isabelle 2005
are also available from my site).
This archive was generated by a fusion of
Pipermail (Mailman edition) and