isabelle: Changelog

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

nipkow [Thu, 01 Sep 2016 15:57:54 +0200] rev 63755

Renamed balanced to complete; added balanced; more about both

isabelle