Wed, 13 May 2020 15:41:41 -0500 | Tuomo Valkonen | Bump version | changeset | files |
Wed, 13 May 2020 15:40:47 -0500 | Tuomo Valkonen | Explain that extensions cannot seem to be able to contribute token colours. | changeset | files |
Wed, 13 May 2020 15:19:10 -0500 | Tuomo Valkonen | Fix: do not override default LaTeX language | changeset | files |