| Thu, 04 Nov 2021 15:57:21 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Thu, 04 Nov 2021 15:54:01 +0100 | wenzelm | updated to verit-2021.06.1-rmx, to address "Abnormal termination with exit code 14"; | changeset | files |
| Thu, 04 Nov 2021 15:44:37 +0100 | wenzelm | clarified signature; | changeset | files |