Differences
This shows you the differences between two versions of the page.
| Next revision Both sides next revision | |||
|
tools:editors [2015-03-03 15:01] mh created |
tools:editors [2015-03-03 15:14] mh |
||
|---|---|---|---|
| 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. | ||
| + | |||
