[isabelle-dev] jEdit on Mac OS X

[Makarius]

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.


 	Makarius