2016-01-01 wenzelm [Fri, 01 Jan 2016 19:42:48 +0100] rev 62031
oops;
NEWS

2016-01-01 wenzelm [Fri, 01 Jan 2016 16:51:04 +0100] rev 62030
Added tag Isabelle2016-RC0 for changeset e18444532fce
.hgtags

2016-01-01 wenzelm [Fri, 01 Jan 2016 16:50:04 +0100] rev 62029
tuned;
ANNOUNCE

2016-01-01 wenzelm [Fri, 01 Jan 2016 16:40:47 +0100] rev 62028
updated for release;
ANNOUNCE

2016-01-01 wenzelm [Fri, 01 Jan 2016 16:39:10 +0100] rev 62027
tuned;
NEWS

2016-01-01 wenzelm [Fri, 01 Jan 2016 14:44:52 +0100] rev 62026
more symbols;
NEWS src/HOL/Imperative_HOL/Array.thy src/HOL/Imperative_HOL/Heap_Monad.thy src/HOL/Imperative_HOL/Ref.thy src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy src/HOL/Imperative_HOL/ex/Imperative_Reverse.thy src/HOL/Imperative_HOL/ex/Linked_Lists.thy src/HOL/Imperative_HOL/ex/SatChecker.thy src/HOL/Library/Monad_Syntax.thy src/HOL/Predicate.thy src/HOL/Probability/Giry_Monad.thy src/HOL/Probability/Probability_Mass_Function.thy src/HOL/Probability/Projective_Family.thy

2016-01-01 wenzelm [Fri, 01 Jan 2016 11:27:29 +0100] rev 62025
clarified abbrev;
etc/symbols

2016-01-01 wenzelm [Fri, 01 Jan 2016 11:18:54 +0100] rev 62024
clarified meaning of \<^bold> action, depending on group;
src/Tools/jEdit/src/symbols_dockable.scala

2016-01-01 wenzelm [Fri, 01 Jan 2016 11:12:43 +0100] rev 62023
clarified groups, notably for Symbols dockable;
etc/symbols

2016-01-01 wenzelm [Fri, 01 Jan 2016 11:07:29 +0100] rev 62022
glyphs for \<bind>, \<then>;
Admin/components/components.sha1 Admin/components/main etc/symbols lib/fonts/IsabelleText.sfd lib/fonts/IsabelleTextBold.sfd