isabelle: Changelog

wenzelm [Wed, 01 Aug 2018 20:58:41 +0200] rev 68734

isabelle build options -c -x -B refer to imports_graph;

wenzelm [Wed, 01 Aug 2018 19:48:58 +0200] rev 68733

more uniform checks;

wenzelm [Wed, 01 Aug 2018 19:38:06 +0200] rev 68732

tuned signature;

wenzelm [Wed, 01 Aug 2018 16:33:33 +0200] rev 68731

tuned signature;

wenzelm [Tue, 31 Jul 2018 21:21:20 +0200] rev 68730

tuned signature;

wenzelm [Tue, 31 Jul 2018 21:11:24 +0200] rev 68729

clarified ignored span / core range: include formal comments, e.g. relevant for error messages from antiquotations;

wenzelm [Tue, 31 Jul 2018 21:06:09 +0200] rev 68728

tuned signature;

wenzelm [Mon, 06 Aug 2018 11:06:43 +0200] rev 68727

export shyps as regular typargs;

wenzelm [Sun, 05 Aug 2018 20:32:18 +0200] rev 68726

more uniform facts: single vs. multi;

wenzelm [Sun, 05 Aug 2018 14:50:11 +0200] rev 68725

explicit names for bound variables;

isabelle