Difference between revisions of "Atom"
From Ontohub
(typo) |
|||
| Line 3: | Line 3: | ||
Useful Atom packages: | Useful Atom packages: | ||
* LaTeX | * LaTeX | ||
| + | * git-plus | ||
Latest revision as of 12:54, 9 August 2018
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
