| Fri, 25 Jun 2021 12:52:54 +0200 | wenzelm | proper directories after reinstallation of lxbroy10; | file | diff | annotate |
| Fri, 07 May 2021 13:16:50 +0200 | wenzelm | proper option for linux_arm; | file | diff | annotate |
| Tue, 29 Sep 2020 20:08:08 +0200 | wenzelm | clarified names; | file | diff | annotate |
| Tue, 09 Apr 2019 17:06:15 +0200 | wenzelm | support for platform-specific builds on remote server; | file | diff | annotate |
| Sat, 08 Dec 2018 22:31:34 +0100 | wenzelm | replaced "isabelle components_checksum" shell script by "isabelle build_components" in Scala, with more functionality; | file | diff | annotate |