| Sat, 08 Feb 2025 17:24:19 +0100 | Fabian Huch | add find_facts_web component; | changeset | files |
| Fri, 07 Feb 2025 22:23:24 +0100 | Fabian Huch | web component for Find_Facts: bundled assets and compiled elm app; | changeset | files |
| 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 |
| 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 |
| Thu, 06 Feb 2025 13:31:59 +0100 | wenzelm | tuned output; | changeset | files |
| Thu, 06 Feb 2025 13:29:28 +0100 | wenzelm | tuned comments; | changeset | files |
| Thu, 06 Feb 2025 12:46:13 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 06 Feb 2025 12:18:56 +0100 | wenzelm | tuned; | changeset | files |