Re: [isabelle] Isabelle2013-2-RC3 available for testing



Am 04.12.13 14:24, schrieb Makarius:
are a former Proof General user or non-user?
I had a longer Isabelle brake and before that there was no Isabelle/jEdit release.




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