| 2018-12-09 | wenzelm | clarified settings and defaults; | file | diff | annotate |
| 2018-11-30 | wenzelm | more robust: avoid broken tar.gz; | file | diff | annotate |
| 2016-07-14 | wenzelm | prefer curl: presumably more portable and versatile; | file | diff | annotate |
| 2013-09-06 | wenzelm | tuned; | file | diff | annotate |
| 2013-08-30 | wenzelm | check tar error, e.g. from corrupted download; | file | diff | annotate |
| 2012-12-31 | wenzelm | simplified quick start via "isabelle components -I"; | file | diff | annotate |
| 2012-08-17 | wenzelm | minor robustification; | file | diff | annotate |
| 2012-08-17 | wenzelm | added "isabelle components" tool; | file | diff | annotate |