*To*: Bill Richter <richter at math.northwestern.edu>*Subject*: Re: [isabelle] rigorous axiomatic geometry proof in Isabelle*From*: Ramana Kumar <rk436 at cam.ac.uk>*Date*: Sun, 29 Apr 2012 18:10:25 +0100*Cc*: cl-isabelle-users at lists.cam.ac.uk*In-reply-to*: <201204282058.q3SKw9NF008441@poisson.math.northwestern.edu>*References*: <201204282058.q3SKw9NF008441@poisson.math.northwestern.edu>*Sender*: ramana.kumar at gmail.com

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.

**References**:**[isabelle] rigorous axiomatic geometry proof in Isabelle***From:*Bill Richter

- Previous by Date: Re: [isabelle] Using Isar on Induction
- Next by Date: Re: [isabelle] A course based on Isabelle/HOL and some feedback...
- Previous by Thread: [isabelle] rigorous axiomatic geometry proof in Isabelle
- Next by Thread: Re: [isabelle] rigorous axiomatic geometry proof in Isabelle
- Cl-isabelle-users April 2012 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list