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 (続きを読む...)
There are no longer source code repository of this project website in sourceforge.jp. Instead of this inconvenience, the source code is in gitorious->here.
If you are cloning the source code, please re-clone.