Difference between revisions of "Atom"
From Ontohub
(initial page) |
(typo) |
||
| 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 | ||
Revision as of 18:43, 16 July 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
