isabelle: Changelog

blanchet [Mon, 29 Jul 2013 17:27:56 +0200] rev 52757

updated Sledgehammer prover versions

blanchet [Mon, 29 Jul 2013 16:13:35 +0200] rev 52756

parse nonnumeric identifiers in E proofs correctly

blanchet [Mon, 29 Jul 2013 15:42:04 +0200] rev 52755

simplified Vampire hack -- no need to run it for other ATPs

blanchet [Mon, 29 Jul 2013 15:30:31 +0200] rev 52754

added support for E 1.8's internal proof objects (eliminating the need for "eproof_ram")

wenzelm [Sun, 28 Jul 2013 20:51:15 +0200] rev 52753

prefer examples that work out of the box;

wenzelm [Sun, 28 Jul 2013 20:50:44 +0200] rev 52752

breakable @{file};

wenzelm [Sun, 28 Jul 2013 20:10:59 +0200] rev 52751

prefer existing swipl;

wenzelm [Sun, 28 Jul 2013 20:10:21 +0200] rev 52750

avoid machine running batch process for months;

traytel [Sun, 28 Jul 2013 12:59:59 +0200] rev 52749

more converse(p) theorems; tuned proofs;

wenzelm [Sat, 27 Jul 2013 22:44:04 +0200] rev 52748

more uniform cleanup;

isabelle