wenzelm [Thu, 10 Nov 2011 23:30:50 +0100] rev 45448
more efficient prepare_sorts -- bypass encoded positions;
wenzelm [Thu, 10 Nov 2011 22:54:15 +0100] rev 45447
suppress irrelevant positions;
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