| 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 |