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