History log of /seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/README
Revision Date Author Comments
# b7d5bc31 28-Feb-2014 wenzelm <none@none>

recovered minimal README from 30de372ca56f;
# 35907cd6 04-Sep-2011 wenzelm <none@none>

updated READMEs;
# b484bfd3 13-Jan-2011 wenzelm <none@none>

updated Isabelle/jEdit limitations and workarounds;
# 0bc24cc6 14-Nov-2010 wenzelm <none@none>

updated README;
# e48e8fc4 12-Nov-2010 wenzelm <none@none>

updated README;
# ce2f2bbb 28-Oct-2010 wenzelm <none@none>

back again to non-Apple font rendering (cf. 4977324373f2);
# d059ceda 10-Sep-2010 wenzelm <none@none>

Markup_Tree is already scalable;
# c79bb0f1 20-Jul-2010 wenzelm <none@none>

further Mac OS X deviations;
# a29c1681 31-May-2010 wenzelm <none@none>

notes on Isabelle/jEdit;