在Isabelle / jEdit中，有时候我想在一次丢弃理论中测试一些东西，而不是将它保存到磁盘上。但是当我创建一个新文件时（即使使用模式设置为isabelle的 new in mode 命令），在我保存缓冲区（使用适当的文件名）之前不会处理缓冲区。
有没有办法保存文件？看起来这应该是可能的，因为默认情况下，Isabelle / jEdit以一个空的Scratch.thy文件开头，即使它没有保存也会被处理。
答案 0 :(得分：1)
Isabelle / jEdit似乎使用缓冲区名称来决定是否处理理论（必须以.thy结尾）。据我所知，jEdit没有提供一种方法来更改缓冲区的名称而不保存它。但是，您可以打开一个不存在的文件，结果缓冲区将以该文件命名。
因此，不要创建新文件，只需打开一个不存在的文件（当然，名称以.thy结尾），即使没有保存到磁盘，Isabelle / jEdit也会处理它。 / p>