Emacs出现的问题,望高手指教!

Vim、Emacs配置和使用
回复
梦希凌
帖子: 1
注册时间: 2009-01-14 15:01
送出感谢: 0
接收感谢: 0

Emacs出现的问题,望高手指教!

#1

帖子 梦希凌 » 2009-01-14 15:13

最近刚装了个emacs22的版本,要求和PVS(一款验证定理的软件)一块使用,两个都装完后运行例子,正常的话应该会弹出相应的窗口来告诉结果的正确性,可运行后却打印了以下错误:wrong number of argument:#<set-match-data>,2的错误信息,本人以为是emacs的参数出了问题,但又不知如果解决,望请教各位高手。出来乍到,小弟在此先谢啦!
回复

回到 “Vim和Emacs”