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