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

Question

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

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

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

Answer 1

一般情况下,如果你陷入了一个你不知道名字的小模式,你可以运行:

M-x describe-mode

这将列出所有当前活动的主要和次要模式,并描述每个模式.由此,您应该能够确定需要停用哪一个.