| Tue, 16 Nov 2021 21:21:15 +0100 | wenzelm | just one Presentation.State for all sessions: avoid duplication of already presented theories (very slow) and cached theory export (not very slow); | changeset | files |
| Tue, 16 Nov 2021 18:45:31 +0100 | wenzelm | proper version; | changeset | files |
| Tue, 16 Nov 2021 18:45:02 +0100 | wenzelm | back to Z3 4.4.0pre for all platforms except arm64-linux: avoid failure e.g. in Padic_Ints (AFP/7a2522dce834); | changeset | files |