Adds syntax highlighting to ForTheL in Atom
ForTheL is a natural formal language for writing mathematical texts which can be checked with the proof assistant Naproche.
This package supports both ForTheL's standard version and its LaTeX integration.
To enable syntax highlighting for ForTheL's LaTeX integration, you might have to deactivate all syntax highlighting packages for LaTeX except for language-latex2e which comes as an dependency of this package.
Good catch. Let us know what about this package looks wrong to you, and we'll investigate right away.