wenzelm [Fri, 01 Jan 2016 11:27:29 +0100] rev 62025
clarified abbrev;
wenzelm [Fri, 01 Jan 2016 11:18:54 +0100] rev 62024
clarified meaning of \<^bold> action, depending on group;
wenzelm [Fri, 01 Jan 2016 11:12:43 +0100] rev 62023
clarified groups, notably for Symbols dockable;
wenzelm [Fri, 01 Jan 2016 11:07:29 +0100] rev 62022
glyphs for \<bind>, \<then>;
wenzelm [Fri, 01 Jan 2016 11:07:07 +0100] rev 62021
tuned order for isar-ref;
wenzelm [Fri, 01 Jan 2016 10:49:00 +0100] rev 62020
isabelle update_cartouches -c -t;
wenzelm [Thu, 31 Dec 2015 21:46:31 +0100] rev 62019
updated for release;
wenzelm [Thu, 31 Dec 2015 21:43:54 +0100] rev 62018
updated to SML/NJ 110.79;
wenzelm [Thu, 31 Dec 2015 21:24:58 +0100] rev 62017
misc tuning for release;
wenzelm [Thu, 31 Dec 2015 21:06:09 +0100] rev 62016
misc updates for release;