| 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
|
| Sun, 12 Jan 2025 16:15:45 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Sun, 12 Jan 2025 16:15:37 +0100 |
wenzelm |
proper Console_Progress as for other command-line tools;
|
changeset |
files
|
| Sun, 12 Jan 2025 16:03:43 +0100 |
wenzelm |
tuned messages: more formal;
|
changeset |
files
|
| Sun, 12 Jan 2025 15:58:30 +0100 |
wenzelm |
clarified signature: progress is usually optional;
|
changeset |
files
|
| Sun, 12 Jan 2025 15:54:32 +0100 |
wenzelm |
clarified names: "peek" usually refers to evolving mutable state;
|
changeset |
files
|
| Sun, 12 Jan 2025 15:53:50 +0100 |
wenzelm |
more to check;
|
changeset |
files
|
| Sun, 12 Jan 2025 15:52:15 +0100 |
wenzelm |
tuned: avoid "open" in ML and "import _" in Scala;
|
changeset |
files
|
| Sun, 12 Jan 2025 14:23:18 +0100 |
wenzelm |
tuned messages;
|
changeset |
files
|
| Sun, 12 Jan 2025 14:21:22 +0100 |
wenzelm |
tuned headers;
|
changeset |
files
|
| Sun, 12 Jan 2025 14:19:06 +0100 |
wenzelm |
more to check;
|
changeset |
files
|
| Sun, 12 Jan 2025 14:16:21 +0100 |
wenzelm |
clarified names;
|
changeset |
files
|
| Sun, 12 Jan 2025 14:14:30 +0100 |
wenzelm |
clarified signature and modules;
|
changeset |
files
|