Wed, 17 Feb 2010 10:28:04 +0100 blanchet synchronize Nitpick's wellfoundedness formulas caching
Sat, 13 Feb 2010 15:04:09 +0100 blanchet more work on Nitpick's support for nonstandard models + fix in model reconstruction
Sat, 13 Feb 2010 11:56:06 +0100 blanchet redo Nitpick's nonstandard values as cyclic values (instead of additional constructors)
Fri, 12 Feb 2010 21:27:06 +0100 blanchet minor fixes to Nitpick
Fri, 12 Feb 2010 19:44:37 +0100 blanchet various cosmetic changes to Nitpick
Wed, 17 Feb 2010 11:31:15 -0800 huffman merged
Wed, 17 Feb 2010 10:30:36 -0800 huffman fix more looping simp rules
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip