[isabelle-dev] jEdit on Mac OS X
makarius at sketis.net
Mon Sep 23 17:47:04 CEST 2013
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).
More information about the isabelle-dev