| Wed, 14 Jun 2023 11:18:25 +0200 |
wenzelm |
tuned signature: more operations;
|
file |
diff |
annotate
|
| Thu, 08 Jun 2023 14:45:31 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 16 Mar 2023 16:28:21 +0100 |
wenzelm |
back to compression in Isabelle/Scala (in contrast to f7174238b5e3), e.g. relevant for old_command_timings_blob, but also for prospective heaps;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2023 20:31:08 +0100 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2023 20:25:48 +0100 |
wenzelm |
more specific vacuum operation, which is also relevant to PostgreSQL;
|
file |
diff |
annotate
|
| Thu, 09 Mar 2023 12:54:19 +0100 |
wenzelm |
proper support for Option[Date] columns;
|
file |
diff |
annotate
|
| Thu, 09 Mar 2023 11:55:20 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 08 Mar 2023 22:22:35 +0100 |
wenzelm |
more robust transactions;
|
file |
diff |
annotate
|
| Wed, 08 Mar 2023 22:08:48 +0100 |
wenzelm |
explicit locking for PostgreSQL --- neither available nor required for SQLite;
|
file |
diff |
annotate
|
| Mon, 06 Mar 2023 21:12:47 +0100 |
wenzelm |
clarified signature: reduce boilerplate;
|
file |
diff |
annotate
|
| Mon, 06 Mar 2023 15:56:28 +0100 |
wenzelm |
tuned whitespace and braces;
|
file |
diff |
annotate
|
| Mon, 06 Mar 2023 15:48:04 +0100 |
wenzelm |
clarified signature: more uniform operations;
|
file |
diff |
annotate
|
| Mon, 06 Mar 2023 15:38:50 +0100 |
wenzelm |
tuned signature: reduce boilerplate;
|
file |
diff |
annotate
|
| Mon, 06 Mar 2023 15:12:37 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 06 Mar 2023 12:07:40 +0100 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Sun, 05 Mar 2023 20:41:14 +0100 |
wenzelm |
more detailed table "isabelle_build_serial": allow to monitor activity of build_process instances;
|
file |
diff |
annotate
|
| Mon, 27 Feb 2023 20:30:40 +0100 |
wenzelm |
clarified signature, although "sql" argument is de-facto mandatory;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2023 20:19:01 +0100 |
wenzelm |
misc tuning and clarification: more uniform use of optional "sql" in SQL.Table.delete/select;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2023 14:27:21 +0100 |
wenzelm |
tuned whitespace in generated SQL;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2023 13:50:07 +0100 |
wenzelm |
clarified signature: more concise operations;
|
file |
diff |
annotate
|
| Sat, 25 Feb 2023 14:33:19 +0100 |
wenzelm |
clarified signature: more robust operations;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 20:40:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 11:45:39 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 11:38:43 +0100 |
wenzelm |
clarified signature: more robust (see also cf2ef4be3630);
|
file |
diff |
annotate
|
| Wed, 22 Feb 2023 21:35:55 +0100 |
wenzelm |
more uniform operations;
|
file |
diff |
annotate
|
| Wed, 22 Feb 2023 21:31:36 +0100 |
wenzelm |
clarified signature: more robust;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2023 21:22:51 +0100 |
wenzelm |
support IPC via database server;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2023 20:40:51 +0100 |
wenzelm |
support specific connection types, for additional operations;
|
file |
diff |
annotate
|
| Mon, 02 Jan 2023 15:41:50 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Fri, 25 Nov 2022 13:38:15 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|