| Thu, 19 Apr 2018 16:10:06 +0100 |
paulson |
tuning of a proof
|
changeset |
files
|
| Thu, 19 Apr 2018 14:49:19 +0100 |
paulson |
merged
|
changeset |
files
|
| Thu, 19 Apr 2018 14:49:08 +0100 |
paulson |
some simpler, cleaner proofs
|
changeset |
files
|
| Thu, 19 Apr 2018 12:34:52 +0200 |
wenzelm |
prefer explicit 32/64 bit platform settings;
|
changeset |
files
|
| Thu, 19 Apr 2018 12:02:59 +0200 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
| Wed, 18 Apr 2018 21:12:50 +0100 |
paulson |
correction of TeX errors and other oversights
|
changeset |
files
|
| Wed, 18 Apr 2018 18:46:51 +0100 |
paulson |
Oops! Change_Of_Vars was not being imported to Analysis!
|
changeset |
files
|
| Wed, 18 Apr 2018 15:57:36 +0100 |
paulson |
tidying up including contributions from Paulo EmÃlio de Vilhena
|
changeset |
files
|
| Tue, 17 Apr 2018 22:35:48 +0100 |
paulson |
Change of variables proof
|
changeset |
files
|
| Tue, 17 Apr 2018 18:04:49 +0100 |
paulson |
merged
|
changeset |
files
|
| Tue, 17 Apr 2018 12:09:23 +0100 |
paulson |
Vitali covering theorem
|
changeset |
files
|
| Tue, 17 Apr 2018 16:18:19 +0200 |
wenzelm |
updated to xz-java-1.8;
|
changeset |
files
|
| Tue, 17 Apr 2018 15:59:41 +0200 |
wenzelm |
updated windows_app to launch4j 3.11 and 7zsd_extra_171_3901.7z (reconstructed by Chris Lake);
|
changeset |
files
|
| Tue, 17 Apr 2018 15:34:58 +0200 |
wenzelm |
NEWS;
|
changeset |
files
|