Re: [isabelle] isabelle/jedit



On Fri, 10 Aug 2012, Gergely Buday wrote:

I think menus could help this, you say they wouldn't, and they do not fit the picture. What other possibilites does jEdit have you refer to?

Try yourself with a clear mind. There is a small README popup to start with.

So far the old-time Proof General users had more problems getting acquainted with Isabelle/jEdit than newcomers.


	Makarius





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