Difference between revisions of "Atom"
From Ontohub
(initial page) |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | We will use the [ | + | We will use the [http://atom.io/ Atom editor] for working with DOL, OWL, CommonLogic, CASL etc. We aim at a neat integration of Atom into [[Hets]]. |
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
