| 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 |
| Thu, 13 Feb 2025 14:10:50 +0100 | wenzelm | tuned signature: more explicit operations; | changeset | files |
| Wed, 12 Feb 2025 23:17:08 +0100 | wenzelm | support for browser_info.db --- requires approx. 10s to compress 1.2GB to 152MB; | changeset | files |
| Wed, 12 Feb 2025 20:21:33 +0100 | wenzelm | more operations; | changeset | files |
| Wed, 12 Feb 2025 20:18:21 +0100 | wenzelm | tuned signature; | changeset | files |