無法選擇內置的對話圖像中伊莎貝爾/ jEdit的

現在我是在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圖像？

UPDATE：我複製從用戶的主目錄主堆積目錄中的圖片：

in /cygdrive/d/isabelle/Isabelle2015/heaps/polyml-5.5.2_x86-cygwin 

$ cp ~/.isabelle/Isabelle2015/heaps/polyml-5.5.2_x86-cygwin/Nominal2 .

並重新啓動伊莎貝爾/ jEdit的，但我找不到在對話圖像菜單Nominal2。

2015-07-20 Gergely

「但它沒有工作」 - 請更精確。 –

另外，據我所知，Theories面板中的邏輯選擇器工作不正常，至少它不在過去。 –

我認爲Joachim提到的「工作不正常」是選擇圖像後必須重新啓動Isabelle/jEdit。你是否這樣做？無論如何，如果'Session_Name'的堆圖像真的被創建了，'isabelle jedit -l Session_Name Some_Theory.thy'應該可以工作。 – chris

而不是嘗試手動組裝堆圖像並移動它們，您應該讓系統執行此操作。您只需要通過isabelle jedit -d DIR或通過某些ROOTS文件（在某些已知的會話目錄中）永久地告訴它在哪裏查找會話源樹。

一個好地方是$ISABELLE_HOME_USER/ROOTS：在一個單獨的行上添加目錄位置（以Isabelle/POSIX表示法），Isabelle/jEdit邏輯選擇器應該知道重新啓動後的新會話。

然後你可以選擇一個新的會話，它的堆將在下次重新啓動應用程序後生成。

2015-10-07 19:20:53 Makarius

回答