| 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 |
| Sat, 10 Dec 2016 15:45:16 +0100 | wenzelm | updated Poly/ML repository test version (08-Dec-2016); | changeset | files |