isabelle: Changelog

nipkow [Fri, 02 Sep 2016 08:34:26 +0200] rev 63765

added inorder2

wenzelm [Thu, 01 Sep 2016 21:28:55 +0200] rev 63764

tuned headers;

wenzelm [Thu, 01 Sep 2016 21:28:46 +0200] rev 63763

clarified session: use all theories in directory HOL/Library;

wenzelm [Thu, 01 Sep 2016 20:59:51 +0200] rev 63762

clarified session; misc tuning and modernization;

wenzelm [Thu, 01 Sep 2016 20:34:43 +0200] rev 63761

more careful quoting, e.g. relevant for \<^control>cartouche;

wenzelm [Thu, 01 Sep 2016 20:14:29 +0200] rev 63760

uniform capitalization of labels;

wenzelm [Thu, 01 Sep 2016 18:16:14 +0200] rev 63759

tuned message;

wenzelm [Thu, 01 Sep 2016 17:48:44 +0200] rev 63758

merged

wenzelm [Thu, 01 Sep 2016 17:46:49 +0200] rev 63757

avoid conflict after initial keymap migration;

nipkow [Thu, 01 Sep 2016 17:44:21 +0200] rev 63756

merged

isabelle