| Fri, 07 Feb 2025 22:19:21 +0100 | Fabian Huch | clarified; | changeset | files |
| Fri, 07 Feb 2025 22:18:44 +0100 | Fabian Huch | clarified output file; | changeset | files |
| Fri, 07 Feb 2025 20:31:52 +0100 | Fabian Huch | clarified; | changeset | files |
| Fri, 07 Feb 2025 20:30:13 +0100 | Fabian Huch | tuned; | changeset | files |
| Thu, 06 Feb 2025 13:08:38 +0100 | Fabian Huch | tuned: use Isabelle symbols for icons; | changeset | files |
| Wed, 05 Feb 2025 15:28:17 +0100 | Fabian Huch | css service, e.g. for dynamic web apps; | changeset | files |
| 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 |