Re: [isabelle] polyml 4.1.3 segfault on debian sid



On 8/18/05, Lionel Elie Mamane <lionel at mamane.lu> wrote:
> 
> I used this patch to driver/configure that made it work. (It also
> changes the installation path.)

Thanks! It works!





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