| Mon, 21 Dec 2020 12:51:28 +0100 | wenzelm | provide zipperposition-2.0 for experimentation; | changeset | files |
| Mon, 21 Dec 2020 08:15:45 +0100 | desharna | merged | changeset | files |
| Thu, 17 Dec 2020 15:31:31 +0100 | desharna | tweaked tptp parsing when source info is missing | changeset | files |
| Sun, 20 Dec 2020 22:04:47 +0100 | wenzelm | tuned comments; | changeset | files |
| Sun, 20 Dec 2020 20:49:43 +0100 | wenzelm | merged | changeset | files |
| Sun, 20 Dec 2020 20:14:05 +0100 | wenzelm | proper relative path; | changeset | files |
| Sun, 20 Dec 2020 16:13:30 +0100 | wenzelm | unused; | changeset | files |