文件名称：nbcoq:用于Netbeans的Coq插件
文件大小：7.43MB
文件格式：ZIP
更新时间：2024-06-12 10:50:41
Java
nbcoq：Netbeans的Coq插件 注意：此插件是为Coq版本8.4pl2开发的。 它不适用于8.4pl3或更高版本，因为coqtop的xml通信协议已更改。 主要特征 ： netbeans的所有功能。 我经常使用一些功能，例如（正则表达式）搜索（和替换）项目中的内容（而不仅仅是单个文件），多个窗口（通常在多个屏幕上），实时版本控制信息。 考虑到像素密度屏幕的巨大变化，可以独立于编辑器来调整校样窗口的字体（单击+或-按钮） 通过输入相应的乳胶来输入unicode内容。 这使用 。 （（请参见下面的键盘快捷键） 拖放手势以处理校样。 我的证明脚本的变量名经常太长。 手动键入它们是很痛苦的。 相同类型的假设被捆绑在一起。 在处理混乱的证明时节省了大量空间。 对跳转到定义的实验性支持（请参见下面的键盘快捷键） 一个用于输入查询的下拉菜单，例如SearchAbout，Check
【文件预览】：
nbcoq-master
----build.xml(469B)
----arch.xml(35KB)
----manifest.mf(236B)
----src()
--------coq()
----nbproject()
--------build-impl.xml(2KB)
--------platform.properties(387B)
--------project.xml(10KB)
--------genfiles.properties(461B)
--------project.properties(1KB)
----.gitignore(28B)
----Makefile(117B)
----Manifest.txt(275B)
----README.md(4KB)
----hs_err_pid9752.log(34KB)
----release()
--------modules()