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