| Sun, 12 Jan 2025 21:45:49 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 12 Jan 2025 21:39:57 +0100 | wenzelm | proper initialization of settings: avoid accidental intrusion from parent process environment; | changeset | files |
| Sun, 12 Jan 2025 21:38:38 +0100 | wenzelm | clarified solr_data directory, provided via settings; | changeset | files |
| Sun, 12 Jan 2025 21:26:30 +0100 | wenzelm | explicit settings FIND_FACTS_WEB and option -w, outside of source (immutable) directory; | changeset | files |
| Sun, 12 Jan 2025 21:10:32 +0100 | wenzelm | tuned message; | changeset | files |
| Sun, 12 Jan 2025 21:07:23 +0100 | wenzelm | implicit session build, similar to "isabelle export"; | changeset | files |