Re: [isabelle] RC3 startup problem on Scientific Linux

Thanks, Makarius!  So I have SL kernel version 6.2.1, and the newer
kernel version 6.2.2 works fine?  SL is a RHEL clone built by
FermiLab, with the sole advantage that it doesn't cost anything.  Red
Hat started charging $$, so the NWU Math dept switched to SL.


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