| Sat, 24 Feb 2024 10:21:41 +0100 | wenzelm | removed unused database_server (amending 32ca3d1283de); | changeset | files |
| Sat, 24 Feb 2024 11:29:30 +0100 | nipkow | timing function generation bug fix by Jonas Stahl | changeset | files |
| Fri, 23 Feb 2024 17:22:09 +0100 | wenzelm | tuned signature: more types, fewer warnings in IntelliJ IDEA; | changeset | files |
| Fri, 23 Feb 2024 09:11:31 +0100 | blanchet | new less ad hoc implementation of the 'moura' tactic for skolemization | changeset | files |
| Thu, 22 Feb 2024 21:42:02 +0100 | wenzelm | more thorough Store.clean_output (amending 1fa1b32b0379); | changeset | files |
| Thu, 22 Feb 2024 21:28:55 +0100 | wenzelm | clarified signature: Build_Process tells how to clean sessions; | changeset | files |