| Sat, 27 Feb 2021 11:51:39 +0100 | wenzelm | clarified message; | file | diff | annotate |
| Thu, 21 Jan 2021 16:10:43 +0100 | wenzelm | support isabelle components -u and -x; | file | diff | annotate |
| Sat, 31 Oct 2020 11:59:00 +0100 | wenzelm | clarified generated settings; | file | diff | annotate |
| Fri, 09 Oct 2020 12:27:39 +0200 | wenzelm | clarified according to Isabelle_System.download; | file | diff | annotate |
| 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 |