isabelle: Changelog

wenzelm [Sat, 10 Sep 2011 22:11:55 +0200] rev 44871

misc tuning and clarification;

wenzelm [Sat, 10 Sep 2011 21:47:55 +0200] rev 44870

speed up slow proof;

wenzelm [Sat, 10 Sep 2011 20:41:27 +0200] rev 44869

merged

haftmann [Sat, 10 Sep 2011 19:44:41 +0200] rev 44868

more modularization

wenzelm [Sat, 10 Sep 2011 20:39:13 +0200] rev 44867

stronger colors (as background);

wenzelm [Sat, 10 Sep 2011 20:22:22 +0200] rev 44866

some color scheme for theory status;

wenzelm [Sat, 10 Sep 2011 16:30:08 +0200] rev 44865

some keyboard shortcuts for important actions; proper label properties, which are also required for jEdit "Shortcuts" options panel;

wenzelm [Sat, 10 Sep 2011 14:48:06 +0200] rev 44864

explicit jEdit actions -- to enable key mappings, for example;

wenzelm [Sat, 10 Sep 2011 14:28:07 +0200] rev 44863

more symbolic file positions via smart replacement of ISABELLE_HOME -- allows Isabelle distribution to be moved later on;

wenzelm [Sat, 10 Sep 2011 13:43:09 +0200] rev 44862

tuned usage;

isabelle