isabelle: Changelog

blanchet [Mon, 03 Mar 2014 22:33:22 +0100] rev 55891

support 'datatype_new'-defined datatypes in Nitpick + better support for 'codatatype's

blanchet [Mon, 03 Mar 2014 22:33:22 +0100] rev 55890

tuned ML names

blanchet [Mon, 03 Mar 2014 22:33:22 +0100] rev 55889

tuned code

blanchet [Mon, 03 Mar 2014 22:33:22 +0100] rev 55888

removed nonstandard models from Nitpick

nipkow [Mon, 03 Mar 2014 16:44:46 +0100] rev 55887

more code lemmas by Rene Thiemann

wenzelm [Mon, 03 Mar 2014 15:14:00 +0100] rev 55886

merged;

wenzelm [Mon, 03 Mar 2014 13:54:47 +0100] rev 55885

tuned proofs;

wenzelm [Mon, 03 Mar 2014 12:54:12 +0100] rev 55884

tuned signature -- emphasize symbol positions (prover) vs. decoded text offsets (editor);

wenzelm [Mon, 03 Mar 2014 12:24:14 +0100] rev 55883

recovered position hyperlinks from 65c9968286d5 (NB: "def" position vs. regular one);

wenzelm [Mon, 03 Mar 2014 12:18:59 +0100] rev 55882

tuned messages and markup;

isabelle