| Wed, 15 Aug 2012 13:43:49 +0200 |
webertj |
merged
|
changeset |
files
|
| Wed, 15 Aug 2012 13:43:42 +0200 |
webertj |
Turned into Admin tool download_components.
|
changeset |
files
|
| Wed, 15 Aug 2012 13:07:24 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 15 Aug 2012 12:54:25 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 15 Aug 2012 12:36:38 +0200 |
wenzelm |
some updates of "Presenting theories", using mkroot/build instead of former mkdir/make/usedir (which are still present in "Misc");
|
changeset |
files
|
| Wed, 15 Aug 2012 11:41:27 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 15 Aug 2012 11:04:56 +0200 |
blanchet |
fixed handling of "int" in the wake of its port to the quotient package
|
changeset |
files
|
| Wed, 15 Aug 2012 11:04:55 +0200 |
blanchet |
removed dead code
|
changeset |
files
|
| Wed, 15 Aug 2012 01:17:26 +0200 |
webertj |
merged
|
changeset |
files
|
| 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
|