Differences

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

Link to this comparison view

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
  
/srv/dokuwiki/currywiki/data/pages/tools/editors.txt ยท Last modified: 2020-09-05 16:42 by bble
Back to top
CC Attribution-Noncommercial-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0