isabelle: Changelog

krauss [Sat, 10 Sep 2011 22:43:17 +0200] rev 44873

mem_prs and mem_rsp in accordance with sets-as-predicates representation (backported from AFP/Coinductive)

wenzelm [Sat, 10 Sep 2011 23:27:32 +0200] rev 44872

misc tuning;

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;

isabelle