Re: [isabelle] rigorous axiomatic geometry proof in Isabelle



On Sat, Apr 28, 2012 at 9:58 PM, Bill Richter <richter at math.northwestern.edu
> 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.