| Fri, 22 Dec 2017 17:19:53 +0100 | wenzelm | uniform preview for Isabelle/jEdit and Isabelle/VSCode; | changeset | files |
| Fri, 22 Dec 2017 16:26:14 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 22 Dec 2017 16:20:37 +0100 | wenzelm | clarified URL: unique node name; | changeset | files |
| Fri, 22 Dec 2017 16:14:01 +0100 | wenzelm | clarified signature; | changeset | files |