| Wed, 15 Sep 2010 15:49:43 +0200 | blanchet | tuning | changeset | files |
| Wed, 15 Sep 2010 15:49:21 +0200 | blanchet | rename | changeset | files |
| Wed, 15 Sep 2010 15:48:52 +0200 | blanchet | use "Metis_" prefix rather than "Metis" structure; | changeset | files |
| Wed, 15 Sep 2010 15:44:44 +0200 | blanchet | no need for TPTP | changeset | files |
| Wed, 15 Sep 2010 15:44:24 +0200 | blanchet | put "foldl" and "foldr" in "Useful"; | changeset | files |
| Wed, 15 Sep 2010 15:15:49 +0200 | blanchet | reintroduce the CRITICAL sections from change 3880d21d6013 | changeset | files |
| Wed, 15 Sep 2010 14:24:29 +0200 | blanchet | apply Larry's hacks directly to the "src" files; | changeset | files |