| Fri, 02 Oct 2020 23:24:20 +0200 | wenzelm | merged | changeset | files |
| Fri, 02 Oct 2020 23:15:37 +0200 | wenzelm | clarified installed files; | changeset | files |
| Fri, 02 Oct 2020 22:59:30 +0200 | wenzelm | build Isabelle E prover component from official downloads; | changeset | files |
| Fri, 02 Oct 2020 21:18:27 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 02 Oct 2020 21:10:08 +0200 | wenzelm | updated for coming release; | changeset | files |
| Fri, 02 Oct 2020 16:23:51 +0200 | wenzelm | updated to current cygwin-20201002, after 3.1.7-1 from 24-Aug-2020; | changeset | files |
| Fri, 02 Oct 2020 13:17:45 +0200 | wenzelm | clarified platforms; | changeset | files |