| Tue, 02 Jan 2018 13:16:32 +0100 | blanchet | avoid call to function that may throw an exception in error message | changeset | files |
| Mon, 01 Jan 2018 23:07:24 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Mon, 01 Jan 2018 21:17:28 +0100 | wenzelm | more completion templates; | changeset | files |