Atom

From Ontohub
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
  • git-plus