[isabelle-dev] jEdit on Mac OS X

[Makarius]

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.

I have myself submitted various patches already, even though I am only a 
part-time Mac user myself (since 2008).


 	Makarius