isabelle: Changelog

wenzelm [Mon, 03 Mar 2014 11:58:55 +0100] rev 55880

README is optional in test compilations;

wenzelm [Mon, 03 Mar 2014 11:58:07 +0100] rev 55879

clarified path checks: avoid crash of rendering due to spurious errors;

wenzelm [Mon, 03 Mar 2014 11:37:06 +0100] rev 55878

more precise navigation within open files;

wenzelm [Mon, 03 Mar 2014 10:59:33 +0100] rev 55877

tuned signature;

wenzelm [Mon, 03 Mar 2014 10:41:58 +0100] rev 55876

tuned signature;

blanchet [Mon, 03 Mar 2014 14:22:35 +0100] rev 55875

updated NEWS

blanchet [Mon, 03 Mar 2014 12:58:17 +0100] rev 55874

guard against unsound cases that arise when people peek into 'int' and similar types that are handled specially by Nitpick

blanchet [Mon, 03 Mar 2014 12:48:20 +0100] rev 55873

adapted example

blanchet [Mon, 03 Mar 2014 12:48:20 +0100] rev 55872

removed obsolete, harmful step in tactic

blanchet [Mon, 03 Mar 2014 12:48:20 +0100] rev 55871

removed (co)iterators from documentation

isabelle