| Wed, 21 Dec 2016 21:18:37 +0100 | wenzelm | basic support for hyperlinks / Goto Definition Request; | changeset | files |
| Wed, 21 Dec 2016 21:17:44 +0100 | wenzelm | clarified border cases; | changeset | files |
| Wed, 21 Dec 2016 16:32:34 +0100 | wenzelm | tuned messages; | changeset | files |