isabelle: Changelog

wenzelm [Sun, 11 Sep 2011 14:58:52 +0200] rev 44877

misc tuning and clarification (NB: settings are already local for named snapshots/releases);

wenzelm [Sun, 11 Sep 2011 14:42:15 +0200] rev 44876

some updates of PLATFORMS;

wenzelm [Sun, 11 Sep 2011 13:27:22 +0200] rev 44875

more README;

wenzelm [Sat, 10 Sep 2011 23:28:58 +0200] rev 44874

merged

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

isabelle