| Sun, 10 Aug 2025 23:35:15 +0200 | wenzelm | tunes messages; | file | diff | annotate |
| Fri, 08 Aug 2025 21:28:22 +0200 | wenzelm | clarified signature: more detailed result; | file | diff | annotate |
| 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 |