| Sun, 14 Jan 2018 16:48:21 +0100 | wenzelm | support for completion; | changeset | files |
| Sun, 14 Jan 2018 16:21:29 +0100 | wenzelm | allow LaTeX source as formal comment; | changeset | files |
| Sun, 14 Jan 2018 15:31:02 +0100 | wenzelm | clarified signature; | changeset | files |