| Sun, 09 Dec 2018 12:09:54 +0100 | wenzelm | clarified settings and defaults; | file | diff | annotate |
| Fri, 30 Nov 2018 16:09:45 +0100 | wenzelm | more robust: avoid broken tar.gz; | file | diff | annotate |
| Thu, 14 Jul 2016 12:20:20 +0200 | wenzelm | prefer curl: presumably more portable and versatile; | file | diff | annotate |
| Fri, 06 Sep 2013 12:46:50 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 30 Aug 2013 10:07:20 +0200 | wenzelm | check tar error, e.g. from corrupted download; | file | diff | annotate |
| Mon, 31 Dec 2012 15:56:17 +0100 | wenzelm | simplified quick start via "isabelle components -I"; | file | diff | annotate |
| Fri, 17 Aug 2012 15:05:57 +0200 | wenzelm | minor robustification; | file | diff | annotate |
| Fri, 17 Aug 2012 14:56:37 +0200 | wenzelm | added "isabelle components" tool; | file | diff | annotate |