search

slatex / sTeX-IDE

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

MMT linter support for \objective and friends. #43

Open kohlhase opened 1 year ago

kohlhase commented 1 year ago

in particular for highlighting and error reporting.