| 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 |
| Sun, 11 Oct 2020 12:48:48 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 11 Oct 2020 12:14:58 +0200 | wenzelm | tuned messages; | changeset | files |
| Sat, 10 Oct 2020 18:51:40 +0000 | haftmann | direct exit to theory when ending nested target on theory target | changeset | files |
| Sat, 10 Oct 2020 18:43:10 +0000 | haftmann | tuned | changeset | files |
| Sat, 10 Oct 2020 18:43:09 +0000 | haftmann | consolidated terminology | changeset | files |
| Sat, 10 Oct 2020 18:43:07 +0000 | haftmann | avoid baroque export | changeset | files |
| Sat, 10 Oct 2020 22:06:17 +0200 | wenzelm | clarified message; | changeset | files |
| Sat, 10 Oct 2020 22:05:47 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 10 Oct 2020 22:04:51 +0200 | wenzelm | clarified options; | changeset | files |
| Sat, 10 Oct 2020 21:51:53 +0200 | wenzelm | more explicit MinGW context; | changeset | files |
| Sat, 10 Oct 2020 21:45:58 +0200 | wenzelm | clarified signature: allow complex bash script; | changeset | files |