wenzelm [Thu, 28 Feb 2013 16:19:08 +0100] rev 52449
more robust build error handling, e.g. missing outer syntax commands;
wenzelm [Thu, 28 Feb 2013 14:29:54 +0100] rev 52448
eliminated legacy 'axioms';
wenzelm [Thu, 28 Feb 2013 14:24:21 +0100] rev 52447
eliminated legacy 'axioms';
wenzelm [Thu, 28 Feb 2013 14:22:14 +0100] rev 52446
eliminated legacy 'axioms';
wenzelm [Thu, 28 Feb 2013 14:10:54 +0100] rev 52445
eliminated legacy 'axioms';
wenzelm [Thu, 28 Feb 2013 13:54:45 +0100] rev 52444
eliminated legacy 'axioms';
wenzelm [Thu, 28 Feb 2013 13:46:45 +0100] rev 52443
eliminated legacy 'axioms';
wenzelm [Thu, 28 Feb 2013 13:33:01 +0100] rev 52442
eliminated legacy 'axioms';
wenzelm [Thu, 28 Feb 2013 13:24:51 +0100] rev 52441
marginalized historic strip_tac;
wenzelm [Thu, 28 Feb 2013 13:19:25 +0100] rev 52440
tuned proof;