Thu, 22 Feb 2024 13:00:58 +0100 | wenzelm | proper store.cache.compress; | file | diff | annotate |
Thu, 22 Feb 2024 12:57:42 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
Thu, 22 Feb 2024 12:53:07 +0100 | wenzelm | clarified store_session: heap requires process_result.ok, but log_db is always stored; | file | diff | annotate |
Wed, 21 Feb 2024 19:36:53 +0100 | wenzelm | build local log_db, with store/restore via optional database server; | file | diff | annotate |
Mon, 19 Feb 2024 11:47:51 +0100 | wenzelm | clarified signature; | file | diff | annotate |
Sat, 20 Jan 2024 15:07:41 +0100 | wenzelm | clarified directories; | file | diff | annotate | base |