Re: [isabelle] Proof General of Isabelle/jEdit



On Mon, 30 Apr 2012 08:16:55 +0100, Lawrence Paulson wrote:

> jEdit will be better when it has some sort of direct menu support for
> various Isabelle functions (sledgehammer, nitpick), display settings, et
> cetera. And it's to be hoped that somebody will write some sort of
> tutorial.

Thank you for clarifying!


-- 
Aaron W. Hsu | arcfide at sacrideo.us | http://www.sacrideo.us
Programming is just another word for the lost art of thinking.






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