| Wed, 10 Jul 2024 08:37:54 +0200 | nipkow | take care of facts in cartouches | changeset | files |
| Tue, 09 Jul 2024 21:13:14 +0100 | paulson | Simplified a few proofs | changeset | files |
| Tue, 09 Jul 2024 16:06:32 +0200 | Fabian Huch | tuned display; | changeset | files |
| Tue, 09 Jul 2024 16:00:25 +0200 | Fabian Huch | NEWS and CONTRIBUTORS; | changeset | files |
| Tue, 09 Jul 2024 15:06:24 +0200 | Fabian Huch | tuned HTML display of ANSI colors for better readability; | changeset | files |
| Tue, 09 Jul 2024 14:13:59 +0200 | Fabian Huch | render hg diff and log (on separate page); | changeset | files |
| Tue, 09 Jul 2024 13:58:43 +0200 | Fabian Huch | clarified; | changeset | files |
| Tue, 09 Jul 2024 12:56:27 +0200 | Fabian Huch | store hg log in addition to diff; | changeset | files |