Sun, 09 Dec 2018 12:09:54 +0100 | wenzelm | clarified settings and defaults; | file | diff | annotate |
Sat, 08 Dec 2018 22:56:45 +0100 | wenzelm | proper path before tar -C context switch; | 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 |
Sat, 08 Dec 2018 15:13:28 +0100 | wenzelm | clarified modules; | file | diff | annotate | base |