加载 Isabelle 时出现 JEdit 插件错误

Question

我正在使用 Windows 10 设备，在使用 Isabelle 进行一些操作后，我收到以下错误：

以下插件无法加载：

C:\Users\PC\Desktop\Isabelle2018\src\Tools\jEdit\dist\jars\Isabelle-jEdit.jar:

无法启动：

*** [“首选项”的第 1 行] 错误：输入错误

我注意到这个问题出现在这个版本和以前的 Windows 8 版本中，当没有正确关闭机器时。

Answer 1

在伊莎贝尔列表中我得到了这个问题的答案：

该错误表明 $ISABELLE_HOME_USER/etc/preferences 文件处于错误状态：每次 Isabelle/jEdit 关闭时都会写入该文件，中间关闭计算机可能已损坏它。

您可以尝试修复或删除该文件。 $ISABELLE_HOME_USER 在 Windows 上的位置通常类似于 C:\Users\my_name.isabelle\Isabelle2018。

我认为社区中的其他人可能会遇到这个问题，这个答案可能会为他们节省一些时间。