| 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 |