| Mon, 18 Nov 2024 12:35:44 +0100 | Fabian Huch | avoid informatik.tu-muenchen.de domain: soon to be discontinued; | file | diff | annotate |
| Sat, 11 Mar 2023 11:13:53 +0100 | wenzelm | support option tags; | file | diff | annotate |
| 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 |