GitHub - taktoa/k-editor-support: Plugin files for editing K files

Name		Name	Last commit message	Last commit date
Latest commit History 58 Commits
BBEdit		BBEdit
emacs		emacs
k-idea-plugin-src		k-idea-plugin-src
notepad++		notepad++
vim		vim
k-idea-plugin.jar		k-idea-plugin.jar

About

Plugin files for editing K files

editor fork kframework

Report repository

Releases

No releases published

Packages

No packages published

Languages

Java 88.4%
Emacs Lisp 7.8%
Vim Script 3.8%