Re: [isabelle] Isabelle2016-RC0 available for testing



> The tar balls are already back right now:
> http://isabelle.in.tum.de/website-Isabelle2016-RC0/dist

Thanks for that. I can preliminary confirm that libisabelle still works
with RC0 under Linux (with minor changes in theory sources).

Cheers
Lars




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