Emacs Modes developed in the KWARC Project

Emacs Modes

We are currently developing and maintaining the following emacs modes

• The OMDoc mode for editing OMDoc documents in emacs...
• The sTeX mode for editing sTeX documents in emacs