From Ontohub
Revision as of 12:54, 9 August 2018 by Tillmo (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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