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 |
Programming is just another word for the lost art of thinking.

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