| Wed, 15 Aug 2012 01:17:18 +0200 | webertj | Added various options, notably -c to download components listed in Admin/components. Also, curl instead of wget. | file | diff | annotate |
| Mon, 13 Aug 2012 20:01:30 +0200 | webertj | Calling isabelle with proper (relative) path, no longer relying on $PATH. | file | diff | annotate |
| Sun, 29 Jul 2012 21:55:56 +0200 | haftmann | script for downloading components from central store | file | diff | annotate |