I'm moving software projects portal to github, because github is much easier than sourceforge.jp. So, if the website has been moved, the website in here will be a redirect page.
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 (続きを読む...)
My gpg signatures has been revoked for some reasons. Please wait a minute while I generate new GPG keys/signatures. This process will takes some hours or a day.
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.