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