isabelle: Changelog

wenzelm [Wed, 30 Mar 2016 21:33:48 +0200] rev 62769

tuned message;

wenzelm [Wed, 30 Mar 2016 21:16:22 +0200] rev 62768

more explicit type; tuned;

wenzelm [Wed, 30 Mar 2016 20:56:39 +0200] rev 62767

relevant check_mixfix happens further at the bottom, to avoid duplicate reports via Specification.prepare;

wenzelm [Wed, 30 Mar 2016 20:35:35 +0200] rev 62766

avoid duplicate reports;

wenzelm [Wed, 30 Mar 2016 19:31:28 +0200] rev 62765

tuned messages -- position is usually missing here;

wenzelm [Wed, 30 Mar 2016 19:25:04 +0200] rev 62764

more PIDE markup; tuned;

wenzelm [Wed, 30 Mar 2016 17:03:26 +0200] rev 62763

clarified modules;

wenzelm [Wed, 30 Mar 2016 16:36:23 +0200] rev 62762

clarified errors: more positions;

wenzelm [Wed, 30 Mar 2016 15:15:12 +0200] rev 62761

clarified simple mixfix;

wenzelm [Wed, 30 Mar 2016 14:59:12 +0200] rev 62760

tuned;

isabelle