isabelle: Changelog

wenzelm [Wed, 02 Sep 2015 15:49:12 +0200] rev 61081

clarified vacuous binding;

wenzelm [Wed, 02 Sep 2015 13:26:29 +0200] rev 61080

trim context more thoroughly;

wenzelm [Wed, 02 Sep 2015 11:36:40 +0200] rev 61079

tuned;

wenzelm [Wed, 02 Sep 2015 10:30:02 +0200] rev 61078

updated sessions;

wenzelm [Tue, 01 Sep 2015 23:10:23 +0200] rev 61077

thread context for exceptions from forks, e.g. relevant when printing errors; tuned signature;

wenzelm [Tue, 01 Sep 2015 22:32:58 +0200] rev 61076

eliminated \<Colon>;

wenzelm [Tue, 01 Sep 2015 17:25:36 +0200] rev 61075

tuned -- avoid slightly odd @{cpat};

wenzelm [Mon, 31 Aug 2015 22:45:40 +0200] rev 61074

support x86_64-windows;

wenzelm [Mon, 31 Aug 2015 22:44:07 +0200] rev 61073

misc tuning and simplification;

wenzelm [Mon, 31 Aug 2015 22:30:41 +0200] rev 61072

proper option, not catch-all pattern;

isabelle