| 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. | changeset | files |
| Tue, 14 Aug 2012 21:58:00 +0200 | wenzelm | ignore some administrative files on newer Mercurial versions as well; | changeset | files |
| Tue, 14 Aug 2012 20:50:50 +0200 | wenzelm | some support for persistent user preferences; | changeset | files |
| Tue, 14 Aug 2012 16:18:15 +0200 | wenzelm | merged | changeset | files |
| Tue, 14 Aug 2012 15:42:58 +0200 | wenzelm | explicit document_output directory, without implicit purge of default in ISABELLE_BROWSER_INFO; | changeset | files |
| Tue, 14 Aug 2012 13:40:49 +0200 | wenzelm | more direct interpretation of document_variants for build (unchanged for usedir); | changeset | files |