isabelle: Changelog

wenzelm [Wed, 30 Mar 2016 23:46:44 +0200] rev 62775

proper object-logic constraint (amending dd2914250ca7);

wenzelm [Wed, 30 Mar 2016 23:34:00 +0200] rev 62774

reconcile object-logic constraint vs. mixfix constraint;

wenzelm [Wed, 30 Mar 2016 23:32:50 +0200] rev 62773

more explicit support for object-logic constraint;

wenzelm [Wed, 30 Mar 2016 22:35:41 +0200] rev 62772

more language markup;

wenzelm [Wed, 30 Mar 2016 22:00:55 +0200] rev 62771

more accurate mixfix type constraints;

wenzelm [Wed, 30 Mar 2016 21:34:00 +0200] rev 62770

tuned;

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;

isabelle