| Tue, 09 Mar 2021 21:11:05 +0100 | wenzelm | proper type-setting of cartouches (requires T1); | file | diff | annotate |
| Wed, 06 Nov 2019 11:08:10 +0100 | nipkow | tuned toc | file | diff | annotate |
| Wed, 16 Jan 2019 19:34:48 -0500 | immler | chapters for analysis manual | file | diff | annotate |
| Sun, 06 Jan 2019 15:39:05 +0100 | wenzelm | tuned document layout; | file | diff | annotate |
| Sat, 29 Dec 2018 15:43:53 +0100 | nipkow | capitalize proper names in lemma names | file | diff | annotate |
| Fri, 28 Dec 2018 18:53:19 +0100 | nipkow | tuned headers etc, added bib-file | file | diff | annotate |
| Fri, 28 Dec 2018 10:29:59 +0100 | nipkow | tuned style and headers | file | diff | annotate |
| Wed, 06 Dec 2017 15:17:05 +0100 | nipkow | initial version of Analysis document | file | diff | annotate |
| Mon, 08 Aug 2016 14:13:14 +0200 | hoelzl | rename HOL-Multivariate_Analysis to HOL-Analysis. | file | diff | annotate | base |