无法在Isabelle/jEdit中选择内置会话映像

这是一项后续行动

现在我在Windows上。我在标准位置创建了一个Nominal2堆映像：

$HOME/.isabelle/Isabelle2015/heaps/polyml-5.5.2_x86-cygwin

我无法在“理论”面板中选择它以加载

我试着开始伊莎贝尔·杰迪特-l…来自cygwin bash脚本，但不起作用。脚本包含

#!/bin/bash

isabelle jedit -d /cygdrive/d/phd/thy/Nominal2-Isabelle2015/Nominal  -l Nominal2

但我什么也没做，杰迪特没上来

如何创建一个可执行文件来自动加载预构建的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

。

与其尝试手动组装堆映像并移动它们，不如让系统来完成。您只需要告诉它在哪里可以找到会话源代码树，可以通过

isabelle jedit-d DIR

或者通过一些根文件（在一些已知的会话目录中）永久地找到

一个好地方是

$ISABELLE\u HOME\u USER/root

：只需在单独的一行中添加目录位置（以ISABELLE/POSIX表示法），ISABELLE/jEdit逻辑选择器在重新启动后应该知道新的会话

---

然后，您可以选择一个新会话，它的堆将在下一次重新启动应用程序后构建。

“但它不工作”-请更准确地说。此外，据我所知，理论面板中的逻辑选择器工作不正常，至少过去没有。我认为“工作不正常”约阿希姆提到，在选择图像后，你必须重新启动伊莎贝尔/杰迪特。你这样做了吗？无论如何，

isabelle jedit-l Session\u列举了一些理论。如果
Session\u Name
的堆映像真的被创建了，你的

应该会起作用。@chris，Nominal2映像不在列表中，这是我的问题。问题仍然存在：为了“在标准位置创建Nominal2堆映像”，你使用了什么命令序列？