| Mon, 13 Mar 2023 21:43:55 +0100 |
wenzelm |
tuned output;
|
changeset |
files
|
| Mon, 13 Mar 2023 21:12:34 +0100 |
wenzelm |
synchronize progress messages with database;
|
changeset |
files
|
| Mon, 13 Mar 2023 20:24:13 +0100 |
wenzelm |
more robust SQL query for mandatory arguments;
|
changeset |
files
|
| Mon, 13 Mar 2023 20:14:19 +0100 |
wenzelm |
synchronize progress stop/stopped with database;
|
changeset |
files
|
| Mon, 13 Mar 2023 19:04:16 +0100 |
wenzelm |
more database content;
|
changeset |
files
|
| Mon, 13 Mar 2023 18:53:14 +0100 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Mon, 13 Mar 2023 17:32:29 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 13 Mar 2023 17:30:43 +0100 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Mon, 13 Mar 2023 17:22:43 +0100 |
wenzelm |
clarified signature: avoid confusion due to object-orientation;
|
changeset |
files
|
| Mon, 13 Mar 2023 16:53:08 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Mon, 13 Mar 2023 15:53:31 +0100 |
wenzelm |
clarified signature: prefer explicit types;
|
changeset |
files
|
| Mon, 13 Mar 2023 15:35:15 +0100 |
wenzelm |
more accurate Sessions.Info.session_prefs: cover relative changes wrt. statically declared options;
|
changeset |
files
|
| Mon, 13 Mar 2023 15:09:08 +0100 |
wenzelm |
clarified signature: more explicit type Options.Spec, which incorporates all variants of Options.+;
|
changeset |
files
|
| Mon, 13 Mar 2023 13:46:36 +0100 |
wenzelm |
tuned output;
|
changeset |
files
|
| Mon, 13 Mar 2023 13:43:25 +0100 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|