Re: [isabelle] proof-compat file error

Makarius <makarius at> 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
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 MHonArc.