| Thu, 24 May 2018 16:38:24 +0200 | nipkow | tuned | changeset | files |
| Thu, 24 May 2018 14:42:47 +0200 | nipkow | reorganization, everything based on Tree2 now | changeset | files |
| Thu, 24 May 2018 09:18:29 +0200 | haftmann | avoid overaggressive classical rule | changeset | files |
| Thu, 24 May 2018 07:59:41 +0200 | nipkow | By Andrei Popescu based on an initial version by Kasper F. Brandt | changeset | files |
| Wed, 23 May 2018 21:34:08 +0100 | paulson | merged | changeset | files |
| Wed, 23 May 2018 21:31:41 +0100 | paulson | small tidy-up of Complex_Transcendental | changeset | files |
| Tue, 22 May 2018 19:58:17 +0100 | paulson | merged | changeset | files |
| Mon, 21 May 2018 22:52:16 +0100 | paulson | small clean-up of Complex_Analysis_Basics | changeset | files |