开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >在Isabelle中浏览ML文件

问在Isabelle中浏览ML文件
EN

Stack Overflow用户

提问于 2019-11-28 22:25:00

回答 1查看 103关注 0票数 1

我想知道，在Isabelle ML文件中，是否有一种方法可以激活普通理论文件所具有的功能，即，您可以在定义中使用鼠标按Ctrl+click键来获得所需的定义。

但是，这似乎不适用于ML文件。是否有任何选项可以激活以从函数导航到其定义？

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2019-11-29 20:05:37

启用所需功能的一种方法是使用命令ML_file将ML文件包含在*.thy文件中，并在jEdit中打开这两个文件。当然，可能存在更好的替代方案。

票数 1

EN

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/59091016

复制

相似问题