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