代码之家 › 专栏 › 技术社区 › Lars Noschinski

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

isabelle

1

Lars Noschinski · 技术社区 · 10 年前

在Isabelle/jEdit中,有时我只想测试一些扔掉的理论,而不将其保存到磁盘。但当我创建一个新文件时(即使使用 新模式 模式设置为isabelle的命令),在保存缓冲区(使用适当的文件名)之前不会处理缓冲区。

有办法保存文件吗?这似乎是可能的,因为默认情况下Isabelle/jEdit以空开头 Scratch.thy 即使未保存,也要处理的文件。

1 回复 | 直到 10 年前

1

Lars Noschinski 10 年前

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

因此,不要创建新文件,只需打开一个不存在的文件(名称以 .你的 当然),Isabelle/jEdit将处理它,即使没有保存到磁盘。

推荐文章

Dominic Mulligan · “高效”最小和最大不动点计算?

7 年前

lburski · Isabelle中的范围限制/域限制

9 年前

Dominique Unruh · 如何声明不遵守排序约束的引理(用于使用OFCLASS)

9 年前

Gergely · 命题逻辑的格区分

9 年前

Lars Noschinski · 在Isabelle/jEdit中处理理论而不保存

10 年前