无法 select 在 Isabelle/jEdit 中构建会话图像
Cannot select built session image in Isabelle/jEdit
这是
的后续
loading a precompiled heap image in Isabelle
现在我在 Windows。我在标准位置创建了一个 Nominal2 堆映像：
$HOME/.isabelle/Isabelle2015/heaps/polyml-5.5.2_x86-cygwin
我无法 select 在理论面板中加载它。
我尝试从 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。
与其尝试 assemble 手动堆放图像并移动它们，不如让系统来做。您只需要告诉它在哪里可以找到会话源树，可以通过 isabelle jedit -d DIR 或通过某些 ROOTS 文件（在一些已知的会话目录中）永久地找到。
一个好的地方是 $ISABELLE_HOME_USER/ROOTS：只需在单独的行上添加目录位置（以 Isabelle/POSIX 表示法），Isabelle/jEdit 逻辑 selector 应该知道重新启动后的新会话。
然后你可以select一个新的session，它的堆会在应用程序下次重启后建立。
这是
的后续loading a precompiled heap image in Isabelle
现在我在 Windows。我在标准位置创建了一个 Nominal2 堆映像：
$HOME/.isabelle/Isabelle2015/heaps/polyml-5.5.2_x86-cygwin
我无法 select 在理论面板中加载它。
我尝试从 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。
与其尝试 assemble 手动堆放图像并移动它们，不如让系统来做。您只需要告诉它在哪里可以找到会话源树，可以通过 isabelle jedit -d DIR 或通过某些 ROOTS 文件（在一些已知的会话目录中）永久地找到。
一个好的地方是 $ISABELLE_HOME_USER/ROOTS：只需在单独的行上添加目录位置（以 Isabelle/POSIX 表示法），Isabelle/jEdit 逻辑 selector 应该知道重新启动后的新会话。
然后你可以select一个新的session，它的堆会在应用程序下次重启后建立。