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