isabelle: Changelog

wenzelm [Sat, 04 Mar 2017 13:36:06 +0100] rev 65104

decorations for background and foreground colors;

wenzelm [Sat, 04 Mar 2017 13:33:47 +0100] rev 65103

tight protocol messages;

wenzelm [Sat, 04 Mar 2017 09:29:24 +0100] rev 65102

tuned signature;

wenzelm [Sat, 04 Mar 2017 09:27:51 +0100] rev 65101

symbolic Rendering.Color; clarified modules;

wenzelm [Sat, 04 Mar 2017 08:41:32 +0100] rev 65100

tuned;

ballarin [Thu, 02 Mar 2017 21:16:02 +0100] rev 65099

Knaster-Tarski fixed point theorem and Galois Connections.

wenzelm [Fri, 03 Mar 2017 23:21:24 +0100] rev 65098

evade odd version conflicts for batch build (e.g. "vsce package");

wenzelm [Fri, 03 Mar 2017 23:04:12 +0100] rev 65097

more robust Uri comparison, notably on Windows;

wenzelm [Fri, 03 Mar 2017 21:56:52 +0100] rev 65096

tuned;

wenzelm [Fri, 03 Mar 2017 21:51:04 +0100] rev 65095

publish decorations like diagnostics; Markup.BAD is decoration, not error message;

isabelle