这是
的后续行动loading a precompiled heap image in Isabelle
现在我在Windows上。我在标准位置创建了Nominal2堆映像：
$HOME/.isabelle/Isabelle2015/heaps/polyml-5.5.2_x86-cygwin
我无法在Theories面板中选择它来加载。
我尝试从cygwin bash脚本启动isabelle jedit -d ... -l ...，但这不起作用。该脚本包含
#!/bin/bash
isabelle jedit -d /cygdrive/d/phd/thy/Nominal2-Isabelle2015/Nominal -l Nominal2
但是id没有做任何事，jEdit没有出现。
如何创建自动加载预建Nominal2图像的可执行文件？或者，让Isabelle / jEdit知道标准堆位置中有Nominal2图像？
更新：我将图像从用户的主目录复制到主堆目录：
in /cygdrive/d/isabelle/Isabelle2015/heaps/polyml-5.5.2_x86-cygwin
$ cp ~/.isabelle/Isabelle2015/heaps/polyml-5.5.2_x86-cygwin/Nominal2 .
并重新启动了Isabelle / jEdit，但我在会话图片的菜单中找不到Nominal2。
答案 0 :(得分：1)
您应该让系统执行此操作，而不是尝试手动组装堆映像并移动它们。您只需要通过isabelle jedit -d DIR或通过某些ROOTS文件（在某些已知的会话目录中）永久地告诉它在哪里找到会话源树。
一个好地方是$ISABELLE_HOME_USER/ROOTS：只需在另一行上添加目录位置（以Isabelle / POSIX表示法），Isabelle / jEdit逻辑选择器应该在重启后知道新会话。
然后，您可以选择一个新会话，并在下次重新启动应用程序后构建其堆。