Re: [isabelle] Isabelle2013-1-RC4 available for testing

Hi Makarius,

I've made some re-adjustements after the Isabelle2013-1-RC4 snapshot: see version 9c1f21365326.  Can you
give it a quick try?  You know how to work with repository versions.
It seems to be gone with value 0.1.


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