| Thu, 17 Jan 2019 16:38:00 -0500 | immler | subsection is always %important | file | diff | annotate |
| Sun, 18 Nov 2018 18:07:51 +0000 | haftmann | removed legacy input syntax | 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 |
| Fri, 20 Apr 2018 19:11:17 +0100 | paulson | three new theorems | file | diff | annotate |
| Tue, 17 Apr 2018 22:35:48 +0100 | paulson | Change of variables proof | file | diff | annotate |
| Tue, 17 Apr 2018 12:09:23 +0100 | paulson | Vitali covering theorem | file | diff | annotate |