| Wed, 05 Feb 2025 15:05:10 +0100 | Fabian Huch | more mime types; | changeset | files |
| Wed, 05 Feb 2025 14:56:39 +0100 | Fabian Huch | proper error message for missing elm component; | changeset | files |
| Wed, 05 Feb 2025 10:29:39 +0100 | Fabian Huch | clarified web; | changeset | files |
| Sat, 08 Feb 2025 11:18:30 +0100 | nipkow | more syntax update | changeset | files |
| Fri, 07 Feb 2025 21:27:11 +0100 | nipkow | updated syntax | changeset | files |
| Thu, 06 Feb 2025 22:10:16 +0100 | wenzelm | more accurate rail diagram (amending de9d43c427ae); | changeset | files |
| Thu, 06 Feb 2025 17:29:03 +0100 | nipkow | merged | changeset | files |
| Thu, 06 Feb 2025 17:28:27 +0100 | nipkow | added Example theory | changeset | files |
| Thu, 06 Feb 2025 16:21:00 +0000 | paulson | merged | changeset | files |
| Thu, 06 Feb 2025 16:20:52 +0000 | paulson | Minor lemma tweaking | changeset | files |
| Thu, 06 Feb 2025 16:44:50 +0100 | wenzelm | merged | changeset | files |
| Thu, 06 Feb 2025 14:35:39 +0100 | wenzelm | merged | changeset | files |