Dafny
Sublime Text 2的Dafny插件。提供语法高亮。
标签 语言语法
详细信息
安装次数
- 总数 1K
- Win 706
- Mac 297
- Linux 197
| 2021年8月6日 | 2021年8月5日 | 2021年8月4日 | 2021年8月3日 | 2021年8月2日 | 2021年8月1日 | 2021年7月31日 | 2021年7月30日 | 2021年7月29日 | 2021年7月28日 | 2021年7月27日 | 2021年7月26日 | 2021年7月25日 | 2021年7月24日 | 2021年7月23日 | 2021年7月22日 | 2021年7月21日 | 2021年7月20日 | 2021年7月19日 | 2021年7月18日 | 2021年7月17日 | 2021年7月16日 | 2021年7月15日 | 2021年7月14日 | 2021年7月13日 | 2021年7月12日 | 2021年7月11日 | 2021年7月10日 | 2021年7月9日 | 2021年7月8日 | 2021年7月7日 | 2021年7月6日 | 2021年7月5日 | 2021年7月4日 | 2021年7月3日 | 2021年7月2日 | 2021年7月1日 | 2021年6月30日 | 2021年6月29日 | 2021年6月28日 | 2021年6月27日 | 2021年6月26日 | 2021年6月25日 | 2021年6月24日 | 2021年6月23日 | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Windows | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Mac | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Linux | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
README
sublime-dafny
A Sublime Text 2插件用于Dafny。提供验证和语法高亮。
问题
这个软件包为Sublime Text 2添加了对Dafny静态程序验证器的支持。
入门指南
如果您运行的是完整的Sublime Text安装，只需双击.sublime-package文件。如果您正在运行便携式安装，您需要进行手动安装。
安装后，从Python控制台（Ctrl+`）运行以下命令
view.run_command("COMMAND")
或者，您可以为该命令定义一个新的键绑定。