| Mon, 04 Mar 2024 13:44:11 +0100 | wenzelm | tuned signature: more protected operations; | changeset | files |
| Mon, 04 Mar 2024 12:30:33 +0100 | wenzelm | database performance tuning: just one synchronized_database for main loop body; | changeset | files |
| Mon, 04 Mar 2024 11:39:10 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 04 Mar 2024 11:05:36 +0100 | wenzelm | more robust: assume that database is exclusive for this Progress instance --- always close on exit (see also bf377e10ff3b); | changeset | files |
| Sun, 03 Mar 2024 17:47:50 +0100 | wenzelm | more robust: imitate Isabelle/ML operation more closely (after 26a43785590b); | changeset | files |
| Sun, 03 Mar 2024 16:32:59 +0100 | wenzelm | tuned; | changeset | files |