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 |