Thu, 30 Aug 2018 12:36:26 +0200 | wenzelm | tuned; | changeset | files |
Thu, 30 Aug 2018 12:10:15 +0200 | wenzelm | tuned; | changeset | files |
Thu, 30 Aug 2018 18:40:53 +0200 | blanchet | updated URL to remote TPTP, following heads-up from Geoff Sutcliffe | changeset | files |