| Sat, 28 Nov 2020 21:56:24 +0100 | wenzelm | added document antiquotation @{tool}; | file | diff | annotate |
| Tue, 17 Nov 2020 22:05:59 +0100 | wenzelm | more uniform Resources.init_session via YXML; | file | diff | annotate |
| Mon, 16 Nov 2020 23:49:20 +0100 | wenzelm | clarified Resources.init_session for low-level "isabelle process"; | file | diff | annotate |