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 |