Re: [isabelle] Announcement: The Isabelle Community Wiki



On Thu, 12 Jan 2012, Johannes Hölzl wrote:

Hi Isabelle users & developers,

we have now a wiki for the Isabelle community:

 http://isabelle.in.tum.de/community

Since Coq users are already ahead several years, one might benefit from looking what they have at http://coq.inria.fr/cocorico

I've only clicked on the "Video Tutorials" link, to find that Andrej Bauer pretends to download Proof General for Coq, but then runs Proof General 3.7.1.1 from the Isabelle distribution :-)


	Makarius


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