[isabelle] Using system jEdit with bundle

Is it possible to use the system installed version of jEdit with the 
Isabelle bundle?  Right now it is using the bundled version, which is 
fine with me, but it would be neat if I could use the newer system 
installed version.

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.