假设我有一个目录isabelle_afp存储了很多理论的地方。该目录是一个库，我不打算更改其中的文件。我想加快 Isabelle/jEdit 的启动时间（默认情况下，所有理论isabelle_afp我当前的理论取决于重新处理）。
我怎样才能跳过这一步？这系统手册 http://isabelle.in.tum.de/dist/Isabelle2013/doc/system.pdf告诉我建立一个持久堆映像。最简单的方法是什么？
我怎样才能告诉 Isabelle/jEdit 加载这个堆图像？
Isabelle2013 中的 Isabelle/jEdit 已经通过一种相对基本的机制来负责构建堆映像，该机制使用isabelle build_dialog内部工具（在引用的文档中有单独的条目）。
您有两种主要的可能性，无需使用isabelle build_dialog or the isabelle build手动电动工具：
jEdit 对话框“实用程序/选项/插件选项/Isabelle/常规”提供了“逻辑”选项，并带有一个小工具提示，说明更改后必须重新启动应用程序。这样做，将在重新启动时生成堆映像。
命令行选项-l, e.g. isabelle jedit -l HOL-Word
对于 AFP 会话，您需要单独告知系统有关会话目录的信息。这可以通过命令行完成isabelle jedit -d DIR1 -d DIR2或者在你的$ISABELLE_HOME_USER/ROOTS文件（在单独的行上列出每个目录）。
纯命令行解决方案如下所示：
isabelle jedit -d isabelle_afp -l Simpl
请注意，在此示例中，isabelle_afp是（相对或绝对）目录名称，而Simpl是逻辑会话名称。
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
