如何使用键盘快捷键在Isabelle中自动切换一次切换？

Question

我想阻止isabelle在编写时执行证明步骤，因为当我尝试使用rule_tac告诉它消失时该术语应该是什么时，它不可能记住复杂的方程式。

是否有带有isabelle的键盘快捷键可以自动更新？

Answer 1

此操作在键绑定部分（插件菜单>插件，全局选项标签，jEdit>左侧栏中的键绑定）中称为“更新状态输出”，默认情况下绑定到S-ENTER。

因此，请单击“自动更新”，然后按Shift键输入来更新状态面板。