Re: [isabelle] Using system jEdit with bundle



On Thu, 03 May 2012 00:03:45 +0200, Makarius wrote:

> Sorry, this does not work.  All these components are fit together
> tightly,
> and cannot be exchanged easily with other versions found in the wild.

Thank you for confirming one way or the other.

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