Re: [isabelle] RC3 startup problem on Scientific Linux



Thanks, Makarius, that was dumb of me, to miss the big green button.

-- 
Best,
Bill 





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