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



Hi Makarius,

I've made some re-adjustements after the Isabelle2013-1-RC4 snapshot: see
https://bitbucket.org/isabelle_project/isabelle-release 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.

Andreas




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