isabelle: Changelog

wenzelm [Wed, 15 Feb 2012 17:49:03 +0100] rev 46484

updated refs;

wenzelm [Wed, 15 Feb 2012 13:24:22 +0100] rev 46483

renamed "xstr" to "str_token";

wenzelm [Tue, 14 Feb 2012 22:48:07 +0100] rev 46482

merged

blanchet [Tue, 14 Feb 2012 20:13:07 +0100] rev 46481

don't report spurious LEO-II errors

blanchet [Tue, 14 Feb 2012 18:58:33 +0100] rev 46480

better error message

bulwahn [Tue, 14 Feb 2012 17:59:10 +0100] rev 46479

removing debug code in mutabelle

bulwahn [Tue, 14 Feb 2012 17:58:51 +0100] rev 46478

adding abort_potential functionality in quickcheck

bulwahn [Tue, 14 Feb 2012 17:29:53 +0100] rev 46477

adding abort_potential configuration in Quickcheck

wenzelm [Tue, 14 Feb 2012 22:27:33 +0100] rev 46476

clarified bires_inst_tac: retain internal exceptions;

wenzelm [Tue, 14 Feb 2012 22:22:01 +0100] rev 46475

tuned signature;

isabelle