在emacs中编辑棱镜模型

时间:2017-04-19 14:32:17

标签: emacs

是否有支持prism语言的emacs包? (http://www.prismmodelchecker.org/) 我想在emacs中编辑prism模型(dtmc,ctmc ..) 因为使用xprism直接编辑需要更多时间给我

非常感谢

0 个答案:

没有答案