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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
