| 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 |