| Sat, 03 Oct 2020 14:32:25 +0200 | wenzelm | updated component according to "isabelle build_e -V 2.0"; | changeset | files |
| Sat, 03 Oct 2020 14:06:00 +0200 | wenzelm | proper usage; | changeset | files |
| Sat, 03 Oct 2020 13:59:56 +0200 | wenzelm | clarified; | changeset | files |
| 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 |