2011-09-11 huffman [Sun, 11 Sep 2011 09:40:18 -0700] rev 44884
tuned proofs
src/HOL/Nat_Numeral.thy

2011-09-11 huffman [Sun, 11 Sep 2011 07:21:45 -0700] rev 44883
Library/Saturated.thy: 'Sat' abbreviates 'of_nat'
src/HOL/Library/Saturated.thy

2011-09-11 wenzelm [Sun, 11 Sep 2011 21:34:23 +0200] rev 44882
more CONTRIBUTORS;
CONTRIBUTORS

2011-09-11 wenzelm [Sun, 11 Sep 2011 20:19:20 +0200] rev 44881
persistent ISABELLE_INTERFACE_CHOICE;
Admin/MacOS/App1/script

2011-09-11 wenzelm [Sun, 11 Sep 2011 19:52:09 +0200] rev 44880
explicit choice of interface;
Admin/MacOS/App1/README Admin/MacOS/App1/script

2011-09-11 wenzelm [Sun, 11 Sep 2011 17:30:01 +0200] rev 44879
more orthogonal signature;
src/Pure/General/file.ML

2011-09-11 wenzelm [Sun, 11 Sep 2011 15:20:09 +0200] rev 44878
updates for release;
Admin/CHECKLIST

2011-09-11 wenzelm [Sun, 11 Sep 2011 14:58:52 +0200] rev 44877
misc tuning and clarification (NB: settings are already local for named snapshots/releases);
Admin/makebin

2011-09-11 wenzelm [Sun, 11 Sep 2011 14:42:15 +0200] rev 44876
some updates of PLATFORMS;
Admin/PLATFORMS

2011-09-11 wenzelm [Sun, 11 Sep 2011 13:27:22 +0200] rev 44875
more README;
src/Tools/jEdit/README.html