isabelle: Changelog

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;

wenzelm [Sat, 27 Jul 2013 22:38:06 +0200] rev 52747

tuned;

wenzelm [Sat, 27 Jul 2013 22:20:25 +0200] rev 52746

discontinued historic document formats;

wenzelm [Sat, 27 Jul 2013 22:16:04 +0200] rev 52745

avoid predefined symbols -- allow editing with Isabelle/jEdit in isabelle-news mode;

wenzelm [Sat, 27 Jul 2013 21:50:30 +0200] rev 52744

tuned;

isabelle