| Sun, 12 Jan 2025 14:21:22 +0100 | wenzelm | tuned headers; | file | diff | annotate |
| Sun, 12 Jan 2025 13:54:44 +0100 | wenzelm | avoid conflict with slf4j from sqlite (see also dcddfe4f43a3), notably this message on "isabelle find_facts": | file | diff | annotate |
| Sun, 12 Jan 2025 13:42:01 +0100 | wenzelm | misc tuning; | file | diff | annotate |
| Sat, 11 Jan 2025 23:17:08 +0100 | wenzelm | suppress duplicate slf4j-api --- already provided by sqlite; | file | diff | annotate |
| Sat, 11 Jan 2025 22:18:47 +0100 | wenzelm | clarified solr settings; | file | diff | annotate |
| Sat, 11 Jan 2025 21:51:06 +0100 | wenzelm | activate admin tools; | file | diff | annotate | base |