| Wed, 14 Oct 2020 22:30:18 +0200 | wenzelm | provide verit-2020.10-rmx for testing (inactive); | changeset | files |
| Wed, 14 Oct 2020 22:16:10 +0200 | wenzelm | proper setup for Windows/MinGW; | changeset | files |
| Wed, 14 Oct 2020 21:55:05 +0200 | wenzelm | proper libraries_closure for libgmp; | changeset | files |
| Wed, 14 Oct 2020 21:42:54 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 14 Oct 2020 21:36:17 +0200 | wenzelm | updated to polyml-test-d68c6736402e --- follow current ongoing development; | changeset | files |
| Wed, 14 Oct 2020 10:26:02 +0200 | Mathias Fleury | update build script for veriT 2020.10-rmx | changeset | files |
| Tue, 13 Oct 2020 20:29:13 +0200 | wenzelm | more robust; | changeset | files |