testboard: Changelog

blanchet [Fri, 13 May 2011 10:10:43 +0200] rev 42778

make SML/NJ happy

blanchet [Fri, 13 May 2011 10:10:43 +0200] rev 42777

fixed off-by-one bug

blanchet [Fri, 13 May 2011 10:10:43 +0200] rev 42776

added convenience syntax

wenzelm [Thu, 12 May 2011 23:23:48 +0200] rev 42775

prefer Proof.context over old-style claset/simpset; canonical argument order;

wenzelm [Thu, 12 May 2011 22:46:21 +0200] rev 42774

prefer plain simpset operations;

wenzelm [Thu, 12 May 2011 22:37:31 +0200] rev 42773

removed obsolete old-style cs/css;

wenzelm [Thu, 12 May 2011 22:35:15 +0200] rev 42772

modernized dead code;

wenzelm [Thu, 12 May 2011 22:33:38 +0200] rev 42771

eliminated old-style MI_fast_css -- replaced by fast_solver with config option;

wenzelm [Thu, 12 May 2011 22:11:16 +0200] rev 42770

eliminated obsolete MI_css -- use current context directly;

wenzelm [Thu, 12 May 2011 22:07:30 +0200] rev 42769

proper method_setup;

testboard