Fri, 14 Feb 2025 19:34:27 +0100 proper synonyms: special characters need to be escaped;
Fabian Huch <huch@in.tum.de> [Fri, 14 Feb 2025 19:34:27 +0100] rev 82172
proper synonyms: special characters need to be escaped;
Fri, 14 Feb 2025 18:06:51 +0100 tuned;
Fabian Huch <huch@in.tum.de> [Fri, 14 Feb 2025 18:06:51 +0100] rev 82171
tuned;
Fri, 14 Feb 2025 17:40:21 +0100 merged
Fabian Huch <huch@in.tum.de> [Fri, 14 Feb 2025 17:40:21 +0100] rev 82170
merged
Fri, 14 Feb 2025 17:17:47 +0100 serve Browser_Info in Find_Facts, addressable by relative paths (instead of absolute URLs that may have inconsistent data);
Fabian Huch <huch@in.tum.de> [Fri, 14 Feb 2025 17:17:47 +0100] rev 82169
serve Browser_Info in Find_Facts, addressable by relative paths (instead of absolute URLs that may have inconsistent data);
Fri, 14 Feb 2025 17:15:27 +0100 use bundled browser_info.db for Find_Facts in release;
Fabian Huch <huch@in.tum.de> [Fri, 14 Feb 2025 17:15:27 +0100] rev 82168
use bundled browser_info.db for Find_Facts in release;
Fri, 14 Feb 2025 17:04:17 +0100 clarified cli;
Fabian Huch <huch@in.tum.de> [Fri, 14 Feb 2025 17:04:17 +0100] rev 82167
clarified cli; always clean old index;
Fri, 14 Feb 2025 16:50:50 +0100 generate browser_info.db in Find_Facts;
Fabian Huch <huch@in.tum.de> [Fri, 14 Feb 2025 16:50:50 +0100] rev 82166
generate browser_info.db in Find_Facts;
Fri, 14 Feb 2025 16:21:33 +0100 clarified: more operations;
Fabian Huch <huch@in.tum.de> [Fri, 14 Feb 2025 16:21:33 +0100] rev 82165
clarified: more operations;
Fri, 14 Feb 2025 11:36:26 +0100 use core.properties for Solr index meta info;
Fabian Huch <huch@in.tum.de> [Fri, 14 Feb 2025 11:36:26 +0100] rev 82164
use core.properties for Solr index meta info;
Fri, 14 Feb 2025 11:34:25 +0100 tuned;
Fabian Huch <huch@in.tum.de> [Fri, 14 Feb 2025 11:34:25 +0100] rev 82163
tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 tip