isabelle: Changelog

blanchet [Mon, 26 Aug 2013 12:14:40 +0200] rev 53201

reverted 6c5e7143e1f6; took a better look at evaluation data this time

wenzelm [Mon, 26 Aug 2013 11:42:35 +0200] rev 53200

tuned unchecked ML;

wenzelm [Mon, 26 Aug 2013 11:41:17 +0200] rev 53199

removed junk;

wenzelm [Mon, 26 Aug 2013 10:33:16 +0200] rev 53198

ignore trailing primes, e.g. rename \<alpha>' to \<alpha>'' instead of \<alpha>'a;

blanchet [Mon, 26 Aug 2013 09:07:32 +0200] rev 53197

tuned fudge factor in light of evaluation

wenzelm [Sun, 25 Aug 2013 23:20:25 +0200] rev 53196

tuned proofs;

wenzelm [Sun, 25 Aug 2013 21:25:17 +0200] rev 53195

tuned proofs;

wenzelm [Sun, 25 Aug 2013 20:57:09 +0200] rev 53194

discontinued rendering of obsolete \<onesuperior>, \<twosuperior>, \<threesuperior>;

wenzelm [Sun, 25 Aug 2013 20:43:10 +0200] rev 53193

tuned;

wenzelm [Sun, 25 Aug 2013 20:32:26 +0200] rev 53192

maintain goal forks as part of global execution; tuned;

isabelle