| Sat, 16 Aug 2025 12:50:32 +0200 | wenzelm | support for "isabelle process_theories -E EXPORTS"; | file | diff | annotate |
| Sun, 10 Aug 2025 15:17:13 +0200 | wenzelm | Process theories within an adhoc session context. | file | diff | annotate |
| Fri, 08 Aug 2025 17:26:05 +0200 | wenzelm | clarified signature; | 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 |
| Sat, 22 Mar 2025 13:54:18 +0100 | wenzelm | clarified signature: more explicit type Sessions.Conditions; | file | diff | annotate |
| Wed, 12 Feb 2025 14:28:32 +0100 | wenzelm | tuned signature: more explicit operations; | file | diff | annotate |
| Wed, 12 Feb 2025 00:40:57 +0100 | wenzelm | removed unused imports; | file | diff | annotate |