| 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 |
| Thu, 22 Feb 2024 21:03:55 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 22 Feb 2024 20:54:51 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 22 Feb 2024 20:37:53 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 22 Feb 2024 20:05:24 +0100 | wenzelm | minor performance tuning; | changeset | files |