| 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 |
| Mon, 30 Jun 2025 12:42:21 +0200 | wenzelm | inline errors as "bad" markup; | file | diff | annotate |
| Mon, 23 Jun 2025 13:55:09 +0200 | wenzelm | clarified signature; | file | diff | annotate |