Difference between revisions of "Atom"

From Ontohub
Jump to: navigation, search
(initial page)
 
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
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]].
+
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