Sat, 25 Apr 2009 21:28:05 +0200 | wenzelm | removed obsolete artifacts; | changeset | files |
Sat, 25 Apr 2009 21:28:04 +0200 | wenzelm | misc cleanup of auto_solve and quickcheck: | changeset | files |
Sat, 25 Apr 2009 20:31:27 +0200 | wenzelm | renamed contrib/SystemOnTPTP/remote to lib/script/SystemOnTPTP, thus leaving contrib empty within the official distribution; | changeset | files |