| Thu, 27 Dec 2018 19:48:28 +0100 | nipkow | tuned headers; ~ -> \<not> | file | diff | annotate |
| Tue, 04 Sep 2018 08:40:53 +0200 | nipkow | tuned | file | diff | annotate |
| Tue, 28 Aug 2018 13:28:39 +0100 | Angeliki KoutsoukouArgyraki | tagged 21 theories in the Analysis library for the manual | file | diff | annotate |
| Tue, 19 Jun 2018 12:14:12 +0100 | paulson | fixing overloading problems involving vector cross products | file | diff | annotate |
| Mon, 18 Jun 2018 15:56:03 +0100 | paulson | corrections to markup | file | diff | annotate |
| Mon, 18 Jun 2018 14:22:26 +0100 | paulson | New material in support of quaternions | file | diff | annotate |