| Mon, 11 Aug 2025 20:34:38 +0200 | wenzelm | proper session dirs; | file | diff | annotate |
| Mon, 11 Aug 2025 20:29:04 +0200 | wenzelm | tuned spelling; | file | diff | annotate |
| Mon, 11 Aug 2025 13:16:36 +0200 | wenzelm | support for explicit session directory; | file | diff | annotate |
| Mon, 11 Aug 2025 12:34:58 +0200 | wenzelm | explicit "isabelle process_theories -U" as in "isabelle build_log"; | file | diff | annotate |
| Sun, 10 Aug 2025 22:06:24 +0200 | wenzelm | tuned signature: more defaults; | file | diff | annotate |
| Sun, 10 Aug 2025 18:00:53 +0200 | wenzelm | support output of prover messages; | file | diff | annotate |
| Sun, 10 Aug 2025 15:17:13 +0200 | wenzelm | Process theories within an adhoc session context. | file | diff | annotate |