Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
tools:editors [2017-04-04 13:30] mh [Atom] |
tools:editors [2020-09-05 16:42] (current) bble [Kate] fix spelling |
||
---|---|---|---|
Line 21: | Line 21: | ||
The [[http://kate-editor.org/ | Kate]] editor contains | The [[http://kate-editor.org/ | Kate]] editor contains | ||
syntax highlighting for Curry programs. This mode can be | syntax highlighting for Curry programs. This mode can be | ||
- | acticated by Kate's download mechanism. To do this, start | + | activated by Kate's download mechanism. To do this, start |
Kate and go to | Kate and go to | ||