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 |