| Sun, 09 Dec 2018 00:08:59 +0100 | wenzelm | merged | changeset | files |
| 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 |
| Sat, 08 Dec 2018 21:21:14 +0100 | wenzelm | clarified sort order (again, see also 81a75d9a9a4e); | changeset | files |
| Sat, 08 Dec 2018 21:13:47 +0100 | wenzelm | clarified operations: uniform sorting of results; | changeset | files |
| Sat, 08 Dec 2018 15:13:28 +0100 | wenzelm | clarified modules; | changeset | files |