isabelle: Changelog

wenzelm [Thu, 10 Nov 2011 22:39:32 +0100] rev 45446

more generous margin;

wenzelm [Thu, 10 Nov 2011 22:32:10 +0100] rev 45445

pass term positions into check phase, where resulting types are reported accordingly, and eventually shown as tooltips;

wenzelm [Thu, 10 Nov 2011 17:47:25 +0100] rev 45444

tuned signature;

wenzelm [Thu, 10 Nov 2011 17:41:36 +0100] rev 45443

discontinued unused Thm.compress (again);

bulwahn [Thu, 10 Nov 2011 17:28:02 +0100] rev 45442

renewed prolog-quickcheck

bulwahn [Thu, 10 Nov 2011 17:26:17 +0100] rev 45441

adding some test cases for preprocessing and narrowing

bulwahn [Thu, 10 Nov 2011 17:26:15 +0100] rev 45440

adding a minimalistic preprocessing rewriting common boolean operators; tuned

huffman [Thu, 10 Nov 2011 14:46:38 +0100] rev 45439

merged

huffman [Wed, 09 Nov 2011 15:33:34 +0100] rev 45438

merged

huffman [Wed, 09 Nov 2011 15:33:24 +0100] rev 45437

tune post-processing of simproc-generated rules so they won't produce Numeral0 or Numeral1

isabelle