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