| Tue, 06 Dec 2016 17:21:34 +0100 | wenzelm | avoid spurious messages; | changeset | files |
| Sat, 10 Dec 2016 17:22:47 +0100 | wenzelm | clarified output: avoid confusion with line:column notation; | changeset | files |
| Sat, 10 Dec 2016 17:20:39 +0100 | wenzelm | clarified JSON operations (see isabelle_vscode/a7931dc2a1ab); | changeset | files |