在Isabelle/jEdit中處理理論而不保存它

Question

在Isabelle/jEdit中，有時我想用丟棄理論測試一些東西，而不將它保存到磁盤。但是，當我創建一個新文件時（即使模式下的新命令的模式設置爲isabelle），直到我將其保存（使用適當的文件名）後，緩衝區纔會被處理。

有沒有辦法保存文件？看起來這應該是可能的，因爲默認情況下，Isabelle/jEdit從一個空的Scratch.thy文件開始處理，即使它沒有保存。

Answer 1

Isabelle/jEdit似乎使用緩衝區名稱來決定是否處理理論（必須以.thy結束）。據我所知，jEdit沒有提供一種方法來更改緩衝區的名稱而不保存它。但是，您可以打開一個不存在的文件，並將生成的緩衝區命名爲該文件。

因此，不是創建一個新文件，而是打開一個不存在的文件（當然，名字以.thy結尾），Isabelle/jEdit會處理它，即使沒有保存到磁盤。