Re: [isabelle] rigorous axiomatic geometry proof in Isabelle

On Sat, Apr 28, 2012 at 9:58 PM, Bill Richter <richter at
> wrote:

> Do I really need Proof General?

No, I believe the modern way to run Isabelle is with the jEdit interface
that comes with the Isabelle distribution.

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