| Wed, 18 Nov 2020 16:35:20 +0000 | paulson | merged | changeset | files |
| Wed, 18 Nov 2020 16:35:14 +0000 | paulson | de-applying | changeset | files |
| Wed, 18 Nov 2020 19:38:19 +0100 | nipkow | new theory | changeset | files |
| Wed, 18 Nov 2020 13:44:34 +0100 | desharna | Tuned parentheses in TPTP output | changeset | files |
| Tue, 17 Nov 2020 23:26:41 +0100 | wenzelm | simplified/clarified persistent session information; | changeset | files |
| Tue, 17 Nov 2020 22:58:55 +0100 | wenzelm | merged | changeset | files |
| Tue, 17 Nov 2020 22:57:56 +0100 | wenzelm | refer to command_timings/last_timing via resources; | changeset | files |
| Tue, 17 Nov 2020 22:05:59 +0100 | wenzelm | more uniform Resources.init_session via YXML; | changeset | files |
| Tue, 17 Nov 2020 16:54:49 +0100 | wenzelm | proper link for Pure; | changeset | files |
| Tue, 17 Nov 2020 16:48:18 +0100 | wenzelm | proper link location; | changeset | files |
| Tue, 17 Nov 2020 16:34:01 +0100 | wenzelm | clarified access to single database server vs. collection of database files; | changeset | files |
| Tue, 17 Nov 2020 09:57:37 +0000 | paulson | merged | changeset | files |