Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
Next revision Both sides next revision
tools:editors [2015-03-03 15:01]
mh created
tools:editors [2017-04-04 11:50]
mh Atom description added
Line 6: Line 6:
  
 ===== Emacs ===== ===== Emacs =====
 +
 +The distributions of the Curry systems
 +[[ http://​www.informatik.uni-kiel.de/​~pakcs/​ | PAKCS ]] and
 +[[ http://​www-ps.informatik.uni-kiel.de/​kics2 | KiCS2 ]]
 +contain (in the directory ''​tools/​emacs''​) a Curry mode
 +(adapted from a Haskell mode) for the editor
 +[[http://​www.gnu.org/​software/​emacs/​ | Emacs]].
 +The installation and usage is described in the distributed
 +''​README''​ file.
  
  
 ===== Kate ===== ===== Kate =====
 +
 +The [[http://​kate-editor.org/​ | Kate]] editor contains
 +syntax highlighting for Curry programs. This mode can be
 +acticated by Kate's download mechanism. To do this, start
 +Kate and go to
 +
 +    Setting
 +      -> Configure Kate ...
 +          -> Open/Save
 +               -> Modes & Filetypes
 +                   -> Download Highlighting Files ...
 +
 +In the dialog, just select Curry (it not already selected), click ''​Install''​
 +and wait for the installation to finish. You must restart Kate for the
 +installation to take effect.
 +
 +===== Atom =====
 +
 +The [[https://​atom.io/​ | Atom]] editor contains syntax highlighting and snippets
 +for Curry programs with the package ''​language-curry''​.
 +To download the package, start Atom and navigate to
 +
 +    Settings
 +      -> Install
 +
 +type in ''​language-curry''​ and hit ''​RETURN''​.
 +Select the corresponding package, click ''​Install''​ and wait for the installation to finish.
 +Alternatively,​ it is possible to download the package via command-line with
 +the Atom Package Manager ''​apm''​ (must be in your ''​PATH''​):​
 +
 +    > apm install curry-language
  
/srv/dokuwiki/currywiki/data/pages/tools/editors.txt ยท Last modified: 2024-04-15 17:06 by mh
Back to top
CC Attribution-Noncommercial-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0