Fri, 23 Dec 2016 20:12:27 +0100 | haftmann | restored instance for char, which got ancidentally lost in b3f2b8c906a6 | changeset | files |
Fri, 23 Dec 2016 20:10:38 +0100 | wenzelm | merged | changeset | files |
Fri, 23 Dec 2016 20:06:54 +0100 | wenzelm | proper file:// URL for external references; | changeset | files |
Fri, 23 Dec 2016 19:19:59 +0100 | wenzelm | full range for Position.Item; | changeset | files |
Fri, 23 Dec 2016 19:07:54 +0100 | wenzelm | tuned; | changeset | files |
Fri, 23 Dec 2016 17:04:29 +0100 | wenzelm | tuned; | changeset | files |
Fri, 23 Dec 2016 16:20:42 +0100 | wenzelm | tuned; | changeset | files |