| Sat, 10 Jun 2017 22:48:35 +0200 | wenzelm | use old-style "textEdit" for the sake of the external protocol (see also vscode-languageserver-node/issues/188); | changeset | files |
| Sat, 10 Jun 2017 21:48:02 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 10 Jun 2017 21:34:05 +0200 | wenzelm | symbol completion that bypasses the LS protocol, and thus observes the range properly; | changeset | files |
| Sat, 10 Jun 2017 14:54:56 +0200 | eberlm | More rules for Probability/Tree_Space | changeset | files |
| Fri, 09 Jun 2017 22:55:18 +0200 | wenzelm | merged | changeset | files |
| Fri, 09 Jun 2017 22:41:53 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 09 Jun 2017 22:28:48 +0200 | wenzelm | clarified output for symbol completion; | changeset | files |