| Thu, 29 Dec 2016 17:25:32 +0100 | wenzelm | re-use resources from session; | changeset | files |
| Thu, 29 Dec 2016 16:00:29 +0100 | wenzelm | clarified Document.length -- independent of text_length; | changeset | files |
| Thu, 29 Dec 2016 15:37:15 +0100 | wenzelm | more robust shutdown; | changeset | files |
| Thu, 29 Dec 2016 15:32:13 +0100 | wenzelm | watcher for file-system events; | changeset | files |
| Thu, 29 Dec 2016 14:43:25 +0100 | wenzelm | tuned comments; | changeset | files |
| Wed, 28 Dec 2016 23:42:35 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 28 Dec 2016 23:24:18 +0100 | wenzelm | publish extension on Visual Studio Marketplace; | changeset | files |
| Wed, 28 Dec 2016 21:24:33 +0100 | wenzelm | updated VSCode extension to "isabelle vscode_server"; | changeset | files |