Atom

From Ontohub
Revision as of 18:43, 16 July 2018 by Tillmo (talk | contribs) (typo)

Jump to: navigation, search

We will use the Atom editor for working with DOL, OWL, CommonLogic, CASL etc. We aim at a neat integration of Atom into Hets.

Useful Atom packages:

  • LaTeX