小编Rém*_*émi的帖子

使用Coq Proof General,Emacs可以在每个时段执行.我怎么阻止它?

我在Aquamacs上使用Emacs中的Proof General,每次写一段时间(".")都会执行一切(直到那段时间).这似乎是一种电动行为,但事实并非如此.所有其他键表现正常.

我知道这是我偶然使用一些键绑定时开始的一些模式.如果我重新启动会话,效果将停止,但我想知道键绑定使其停止(或使其启动).

你知道这种模式叫什么吗?我甚至无法在网上找到它.

emacs coq proof-general

7
推荐指数
1
解决办法
489
查看次数

标签 统计

coq ×1

emacs ×1

proof-general ×1