| Thu, 13 Feb 2025 16:29:25 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 13 Feb 2025 16:19:48 +0100 | wenzelm | tuned signature: more operations; | changeset | files |
| Thu, 13 Feb 2025 14:26:50 +0100 | wenzelm | expose bundle $ISABELLE_BROWSER_INFO_LIBRARY via HTTP; | changeset | files |
| Thu, 13 Feb 2025 14:16:11 +0100 | wenzelm | more operations; | changeset | files |