Re: [isabelle] Proof General of Isabelle/jEdit



On Mon, 30 Apr 2012 11:19:34 +0200, Makarius wrote:

> it is up to you where you put sourself in the diagram, as "early
> adopter" or "laggard".

Thank you for the explanation!

-- 
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.