| Tue, 05 Aug 2025 21:44:54 +0200 | wenzelm | more detailed export "PIDE/files": store offset of the load command, within the pro-forma loaded_theory_command --- this allows to restrict output messages for blobs; | file | diff | annotate |
| Tue, 02 Jul 2024 23:13:35 +0200 | wenzelm | clarified YXML.Source: more direct support for String and Bytes, instead of CharSequence; | file | diff | annotate |
| Fri, 28 Jun 2024 16:51:55 +0200 | wenzelm | minor performance tuning: allow recode operation during YXML parsing; | file | diff | annotate |
| Tue, 11 Jun 2024 14:18:19 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 08 Jun 2024 23:17:20 +0200 | wenzelm | more robust: prefer synchronous compression (usually <= 1ms, sometimes 1..5ms); | file | diff | annotate |
| Sun, 10 Mar 2024 10:50:12 +0100 | wenzelm | tuned signature: more uniform SQL.Data instances; | file | diff | annotate |
| Mon, 19 Feb 2024 11:07:08 +0100 | wenzelm | tuned; | file | diff | annotate |