| Sat, 08 Dec 2018 23:53:43 +0100 | wenzelm | discontinued somewhat point dmg: plain .tar.gz is smaller and more convenient to install; | changeset | files |
| Sat, 08 Dec 2018 23:50:56 +0100 | wenzelm | clarified defaults for Windows/Cygwin hybrid; | changeset | files |
| Sat, 08 Dec 2018 22:56:45 +0100 | wenzelm | proper path before tar -C context switch; | changeset | files |
| Sat, 08 Dec 2018 22:31:34 +0100 | wenzelm | replaced "isabelle components_checksum" shell script by "isabelle build_components" in Scala, with more functionality; | changeset | files |