search

slatex / sTeX-IDE

GNU General Public License v3.0
0 stars 0 forks source link

vardef linter problem? #6

Closed kohlhase closed 2 years ago

kohlhase commented 2 years ago

On /MathHub/smglom/topology/source/fundamental-group.en.tex I get a linter error that I cannot explain.

Screenshot 2022-09-12 at 08 03 59
Jazzpirate commented 2 years ago

Fixed with MMT commit (missing support for \text escaping from math mode)