在Isabelle中探索ML文件
我想知道在Isabelle ML文件中是否有一种方法可以激活普通理论文件所具有的功能，即，您可以在定义中按住Ctrl键并单击鼠标，然后获得所需的定义在Isabelle中探索ML文件,isabelle,jedit,Isabelle,Jedit,我想知道在Isabelle ML文件中是否有一种方法可以激活普通理论文件所具有的功能，即，您可以在定义中按住Ctrl键并单击鼠标，然后获得所需的定义 但是，这似乎不适用于ML文件。是否有任何选项可以激活以从函数导航到其定义？启用您寻求的功能的一种方法是使用命令ML\u file将ML文件包含在*中，并在jEdit中打开这两个文件。当然，可能存在更好的选择
但是，这似乎不适用于ML文件。是否有任何选项可以激活以从函数导航到其定义？启用您寻求的功能的一种方法是使用命令
ML\u file*中，并在jEdit中打开这两个文件。当然，可能存在更好的选择