| Sun, 09 Jul 2023 16:29:13 +0200 | wenzelm | create database view for diagnostic purposes; | file | diff | annotate |
| Sat, 08 Jul 2023 13:13:10 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 27 Jun 2023 10:24:32 +0200 | wenzelm | avoid repeated open_database_server: synchronized transaction_lock; | file | diff | annotate |
| Mon, 26 Jun 2023 13:01:58 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 23 Jun 2023 13:51:23 +0200 | wenzelm | unused; | file | diff | annotate |
| Fri, 23 Jun 2023 13:47:34 +0200 | wenzelm | restore heaps from database, which takes precedence over file-system; | file | diff | annotate |
| Thu, 22 Jun 2023 14:29:05 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 21 Jun 2023 15:53:38 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 21 Jun 2023 15:20:58 +0200 | wenzelm | prefer system option; | file | diff | annotate |
| Wed, 21 Jun 2023 14:27:51 +0200 | wenzelm | clarified signature: more explicit class SQL.Data; | file | diff | annotate |
| Wed, 21 Jun 2023 11:42:11 +0200 | wenzelm | proper ML_Heap.clean_entry; | file | diff | annotate |
| Tue, 20 Jun 2023 22:57:34 +0200 | wenzelm | store heaps within database server; | file | diff | annotate |
| Tue, 20 Jun 2023 18:23:17 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 27 Mar 2023 11:52:10 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Sun, 26 Mar 2023 19:51:35 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 26 Mar 2023 14:24:38 +0200 | wenzelm | clarified signature: more general operation Bytes.read_slice; | file | diff | annotate |
| Mon, 06 Feb 2023 12:58:45 +0100 | wenzelm | prefer explicit shasum; | file | diff | annotate |
| Sun, 15 Jan 2023 20:38:27 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 15 Jan 2023 20:20:59 +0100 | wenzelm | clarified modules; | file | diff | annotate |