A Sublime Text 2 plugin for Dafny. Provides verifing and syntax highlighting.
This packages adds support for Dafny static program verifier to Sublime Text 2.
- Install %(package_name)s
If you're running a full installation of Sublime Text, simply doublelick on the
.sublime-package file. If you're running a portable installation, you need
to perform an installation by hand.
Once installed, run the following command from the Python console (Ctrl+`):
view.run_command("COMMAND")
Alternatively, you can define a new key binding for this command.