search

kframework / kweb

Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/
5 stars 5 forks source link

Syntax Highlighting #4

Open pdaian opened 11 years ago

pdaian commented 11 years ago

Investigate possible syntax highlighting using emacs rules for K.

osa1 commented 11 years ago

CodeMirror has an easy way to define custom syntax highlighting and indentation rules, written in JavaScript. Looking to vim kframework syntax file, it looks like K syntax is not very complicated, so I think it wouldn't be that hard to just write a new syntax file for CodeMirror in JavaScript(or CoffeeScript).

I'm not sure if using emacs rules directly without writing an elisp interpreter is possible.

pdaian commented 11 years ago

@osa1 - Yeah, CodeMirror and Ace may be promising directions to go for this part of the editor. I'll need to mess around with them for a few days and see what works well. Thanks for the suggestion!