2015-04-08 wenzelm [Wed, 08 Apr 2015 23:00:09 +0200] rev 59980
misc tuning for release;
Admin/Release/CHECKLIST CONTRIBUTORS COPYRIGHT

2015-04-08 wenzelm [Wed, 08 Apr 2015 22:15:03 +0200] rev 59979
merged

2015-04-08 wenzelm [Wed, 08 Apr 2015 21:49:45 +0200] rev 59978
eliminated suspicious Unicode character;
src/HOL/Probability/Giry_Monad.thy

2015-04-08 wenzelm [Wed, 08 Apr 2015 21:48:59 +0200] rev 59977
eliminated hard tabs;
src/HOL/GCD.thy

2015-04-08 wenzelm [Wed, 08 Apr 2015 21:42:08 +0200] rev 59976
more standard access to goal state;
src/HOL/Topological_Spaces.thy

2015-04-08 wenzelm [Wed, 08 Apr 2015 21:24:27 +0200] rev 59975
more standard Isabelle/ML tool setup;
proper file headers;
tuned whitespace;
src/HOL/Library/Rewrite.thy src/HOL/Library/cconv.ML src/HOL/Library/rewrite.ML

2015-04-08 wenzelm [Wed, 08 Apr 2015 21:08:26 +0200] rev 59974
added symbol for \<hole> (from DejaVuSansMono and DejaVuSansMono-Bold version 2.34);
etc/symbols lib/fonts/IsabelleText.sfd lib/fonts/IsabelleText.ttf lib/fonts/IsabelleTextBold.sfd lib/fonts/IsabelleTextBold.ttf lib/texinputs/isabellesym.sty src/Doc/Isar_Ref/document/root.tex

2015-04-08 wenzelm [Wed, 08 Apr 2015 20:41:56 +0200] rev 59973
proper test for session HOL-Library;
src/HOL/ROOT

2015-04-08 wenzelm [Wed, 08 Apr 2015 20:14:18 +0200] rev 59972
tuned;
src/Tools/induct.ML

2015-04-08 wenzelm [Wed, 08 Apr 2015 19:58:52 +0200] rev 59971
tuned signature;
src/HOL/Tools/coinduction.ML src/HOL/Topological_Spaces.thy src/Pure/Isar/rule_cases.ML src/Tools/induct.ML