wenzelm [Sun, 12 Jan 2025 00:05:01 +0100] rev 81772
tool wrappers with specific java options, notably classpath "$SOLR_JARS";
wenzelm [Sat, 11 Jan 2025 23:33:55 +0100] rev 81771
clarified options;
wenzelm [Sat, 11 Jan 2025 23:24:32 +0100] rev 81770
proper component src/Tools/Find_Facts;
clarified directory structure;
wenzelm [Sat, 11 Jan 2025 23:19:10 +0100] rev 81769
components for find_facts;
wenzelm [Sat, 11 Jan 2025 23:17:08 +0100] rev 81768
suppress duplicate slf4j-api --- already provided by sqlite;
wenzelm [Sat, 11 Jan 2025 22:18:47 +0100] rev 81767
clarified solr settings;
proper version;
wenzelm [Sat, 11 Jan 2025 21:58:47 +0100] rev 81766
proper platform.exe;
wenzelm [Sat, 11 Jan 2025 21:51:06 +0100] rev 81765
activate admin tools;
clarified elm settings;
wenzelm [Sat, 11 Jan 2025 21:31:13 +0100] rev 81764
original sources of find-facts 271b5af0c4c8;
paulson <lp15@cam.ac.uk> [Sun, 12 Jan 2025 21:16:09 +0000] rev 81763
Simplified a lot of messy proofs