在Isabelle / jEdit中处理理论而不保存它

Question

在Isabelle / jEdit中，有时我只想用一次性理论测试一些东西，而不必将其保存到磁盘中。 但是，当我创建一个新文件时（即使使用模式设置为isabelle的新in模式命令），也要等到我保存缓冲区（使用适当的文件名）后，缓冲区才会被处理。

有没有办法保存文件？ 似乎这应该可行，因为默认情况下，Isabelle / jEdit会以一个空的Scratch.thy文件开头，即使该文件没有保存，该文件也会被处理。

Answer 1

Isabelle / jEdit似乎使用缓冲区名称来决定是否处理理论（必须以.thy ）。 据我所知，jEdit没有提供一种不保存就更改缓冲区名称的方法。 但是，您可以打开一个不存在的文件，结果缓冲区将以该文件命名。

因此，不用创建一个新文件，只需打开一个不存在的文件（名称以.thy结尾），即使未保存到磁盘，Isabelle / jEdit也会对其进行处理。