Thu, 18 Aug 2005 13:09:21 +0200 | paulson | no need for TPTP2X unless SPASS is used | changeset | files |
Thu, 18 Aug 2005 13:06:05 +0200 | paulson | optimization to incr_indexes? | changeset | files |
Thu, 18 Aug 2005 12:11:06 +0200 | wenzelm | tuned; | changeset | files |