[isabelle-dev] jEdit on Mac OS X

Makarius makarius at sketis.net
Mon Sep 23 17:59:25 CEST 2013

On Mon, 23 Sep 2013, Makarius wrote:

> This is a note on jEdit in general: https://sourceforge.net/projects/jedit/
> There is some recent revival of activity around Mac OS X.  Hardcore users of 
> that platform are encouraged to look closely at current jEdit versions -- 
> maybe the daily builds for jEdit 5.2pre1 -- to see how it works, and add 
> items to one of the many trackers of that project.

A few more hints:

This only makes sense with Oracle Java 7 (e.g. the current 7u40), not the 
old Apple Java 6.

Moreover, it might be actually easier to use the jedit SVN repository with 
something like "ant build", "ant run" etc.


More information about the isabelle-dev mailing list