| Sat, 03 Oct 2020 20:47:37 +0100 | paulson | de-applying | changeset | files |
| Sat, 03 Oct 2020 21:54:53 +0200 | wenzelm | clarified arm64-linux base line: prefer Pi OS, which is based on slightly older Debian; | changeset | files |
| Sat, 03 Oct 2020 19:56:02 +0200 | wenzelm | detect/guess arm32 platform (unsupported); | changeset | files |
| Sat, 03 Oct 2020 15:11:30 +0200 | wenzelm | build component according to "isabelle build_e -V 2.5" (inactive); | changeset | files |