Difference between revisions of "Atom"
From Ontohub
(initial page) |
(No difference)
|
Revision as of 09:03, 21 June 2018
We will use the [Atom editor http://atom.io/] for working with DOL, OWL, CommonLogic, CASL etc. We aim at a neat integration of Atom into Hets.
Useful Atom packages:
- LaTeX
