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:

Since Coq users are already ahead several years, one might benefit from looking what they have at

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 from the Isabelle distribution :-)


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