| Thu, 25 May 2017 21:20:22 +0200 | wenzelm | restricted perspective depending on the caret -- important for reactivity when editing big files; | changeset | files |
| Thu, 25 May 2017 19:50:37 +0200 | wenzelm | parallel retrieval of PIDE markup; | changeset | files |
| Thu, 25 May 2017 19:23:01 +0200 | wenzelm | clarified output: do not require "method", which is absent for ResponseMessage; | changeset | files |
| Thu, 25 May 2017 18:13:16 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 25 May 2017 18:07:29 +0200 | wenzelm | clarified message logging; | changeset | files |
| Thu, 25 May 2017 17:32:35 +0200 | wenzelm | more operations; | changeset | files |