[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
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Re: [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
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev