| Sun, 09 Feb 2025 14:54:23 +0100 | wenzelm | tuned: fewer warnings in IntelliJ IDEA; | changeset | files |
| Sun, 09 Feb 2025 13:11:20 +0100 | wenzelm | tuned message; | changeset | files |
| Sun, 09 Feb 2025 12:58:40 +0100 | wenzelm | more complete brackets for jEdit modes; | changeset | files |
| Sun, 09 Feb 2025 12:47:21 +0100 | wenzelm | tuned: more robust Isabelle symbols; | changeset | files |
| Sun, 09 Feb 2025 12:35:29 +0100 | wenzelm | clarified modules: more robust Isabelle symbols; | changeset | files |
| Sun, 09 Feb 2025 12:14:09 +0100 | wenzelm | more thorough "isabelle check_sources"; | changeset | files |
| Sun, 09 Feb 2025 11:14:59 +0100 | haftmann | streamlined and actually integrated | changeset | files |
| Sat, 08 Feb 2025 17:46:10 +0100 | nipkow | merged | changeset | files |
| Sat, 08 Feb 2025 17:45:49 +0100 | nipkow | added lemma | changeset | files |
| Sat, 08 Feb 2025 17:44:04 +0100 | Fabian Huch | merged | changeset | files |
| 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 |