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

Achim





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