| Sun, 11 Oct 2020 17:42:32 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sun, 11 Oct 2020 17:17:19 +0200 | wenzelm | more robust: ignore existing gmp installation, but let veriT incorporate extern/gmp; | changeset | files |
| Sun, 11 Oct 2020 14:01:32 +0200 | wenzelm | clarified signature; | changeset | files |
| Sun, 11 Oct 2020 13:50:19 +0200 | wenzelm | presumably redundant (absent in Windows/Cygwin download); | changeset | files |
| Sun, 11 Oct 2020 13:09:43 +0200 | wenzelm | tuned messages; | changeset | files |
| Sun, 11 Oct 2020 13:03:22 +0200 | wenzelm | build Isabelle veriT component from official download; | changeset | files |