[isabelle-dev] jEdit on Mac OS X

Makarius 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 mailing list