*To*: "Aaron W. Hsu" <arcfide at sacrideo.us>*Subject*: Re: [isabelle] Proof General of Isabelle/jEdit*From*: Makarius <makarius at sketis.net>*Date*: Mon, 30 Apr 2012 11:19:34 +0200 (CEST)*Cc*: cl-isabelle-users at lists.cam.ac.uk*In-reply-to*: <jnkrpn$4h7$2@dough.gmane.org>*References*: <jnkrpn$4h7$2@dough.gmane.org>*User-agent*: Alpine 2.00 (LNX 1167 2008-08-23)

On Mon, 30 Apr 2012, Aaron W. Hsu wrote:

So, I am just wondering whether I should be using the Isabelle/jEdit interface or Proof General? It seems like the jEdit interface is pretty nice so far, but is it considered ready for prime time? Am I losing anything really important in using the jEdit interface?

I guess, another question is what the intended "main" interface will bein the future? Is the intention to transition to the jEdit interface asthe main one, or is it just a "newbie friendly" sort of thing?

Makarius

**Follow-Ups**:**Re: [isabelle] Proof General of Isabelle/jEdit***From:*Aaron W. Hsu

**References**:**[isabelle] Proof General of Isabelle/jEdit***From:*Aaron W. Hsu

- Previous by Date: [isabelle] WING 2012: Call for Presentations
- Next by Date: Re: [isabelle] rigorous axiomatic geometry proof in Isabelle
- Previous by Thread: Re: [isabelle] Proof General of Isabelle/jEdit
- Next by Thread: Re: [isabelle] Proof General of Isabelle/jEdit
- 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