isabelle: Changelog

Fabian Huch <huch@in.tum.de> [Tue, 11 Feb 2025 17:01:28 +0100] rev 82132

proper relative paths;

Fabian Huch <huch@in.tum.de> [Mon, 10 Feb 2025 10:52:55 +0100] rev 82131

remove limit on boolean clauses in Solr, introduced in "fix" SOLR-13336;

wenzelm [Sun, 09 Feb 2025 17:17:36 +0100] rev 82130

less ambitious test, thanks to 1126ee407227;

wenzelm [Sun, 09 Feb 2025 17:04:14 +0100] rev 82129

more documentation;

wenzelm [Sun, 09 Feb 2025 16:56:55 +0100] rev 82128

tuned NEWS for release;

wenzelm [Sun, 09 Feb 2025 16:24:20 +0100] rev 82127

tuned GUI: no scroll_bottom for completely different output;

wenzelm [Sun, 09 Feb 2025 16:16:26 +0100] rev 82126

tuned GUI: preserve horizontal scrollbar position;

wenzelm [Sun, 09 Feb 2025 14:54:35 +0100] rev 82125

tuned: more robust Isabelle symbols;

wenzelm [Sun, 09 Feb 2025 14:54:23 +0100] rev 82124

tuned: fewer warnings in IntelliJ IDEA;

wenzelm [Sun, 09 Feb 2025 13:11:20 +0100] rev 82123

tuned message;

isabelle