Hi, I created VDM++ Syntax for Kate.
VDM++ is a one of Formal Methods. It looks like Programming language (But, not programming language. It is similar to UML.), and it is not mathematics looks.
However, There is a few editors supporting it. You can use overture to use syntax highlighting, but overture is based on Eclipse that is "heavy editor". Maybe, it will annoy to you. Therefore, I write the syntax highlighting file for Kate.
The Syntax Highlighting File is available at Junk: http://gitorious.org/hysoft/junk/trees/master/vpp-highlighting-kate
If you are using ArchLinux, you can use makepkg. the package includes PKGBUILD.
Download Ranking | ||
|---|---|---|
| 更多 >> |
Fork