| Wed, 18 Dec 2024 13:49:55 +0100 | wenzelm | clarified LaTeX presentation: more specific keywords; | changeset | files |
| Wed, 18 Dec 2024 12:49:42 +0100 | wenzelm | clarified literal data; | changeset | files |
| Wed, 18 Dec 2024 16:48:14 +0100 | desharna | merged | changeset | files |
| Wed, 18 Dec 2024 16:33:32 +0100 | desharna | tuned ATP caching in Sledgehammer to consider the command line | changeset | files |
| Wed, 18 Dec 2024 16:32:49 +0100 | desharna | tuned function lines_of_atp_problem to have header lines as proper list elements | changeset | files |
| Wed, 18 Dec 2024 16:20:34 +0100 | desharna | tuned tests for existing directories in Sledgehammer | changeset | files |
| Wed, 18 Dec 2024 11:59:44 +0100 | wenzelm | merged | changeset | files |