src/Tools/jEdit/README
2014-02-28 wenzelm 2014-02-28 recovered minimal README from 30de372ca56f;
2011-01-13 wenzelm 2011-01-13 updated Isabelle/jEdit limitations and workarounds;
2010-11-14 wenzelm 2010-11-14 updated README;
2010-11-13 wenzelm 2010-11-13 updated README;
2010-10-28 wenzelm 2010-10-28 back again to non-Apple font rendering (cf. 4977324373f2);
2010-09-10 wenzelm 2010-09-10 Markup_Tree is already scalable;
2010-07-20 wenzelm 2010-07-20 further Mac OS X deviations;
2010-05-31 wenzelm 2010-05-31 notes on Isabelle/jEdit;