加载 Isabelle 时 JEdit 插件错误
JEdit plugin error while loading Isabelle
我正在使用 Windows 10 设备,在与 Isabelle 一起工作后我收到以下错误:
The following plugin could not be loaded:
C:\Users\PC\Desktop\Isabelle2018\src\Tools\jEdit\dist\jars\Isabelle-jEdit.jar:
Cannot start:
*** [line 1 of "preferences"] error: bad input
我注意到这个问题出现在这个版本和以前的 Windows 8 版本中,当没有正确关闭机器时。
在 Isabelle 列表中我得到了这个问题的答案:
The error indicates that the $ISABELLE_HOME_USER/etc/preferences file is in a bad state: the file is written each time Isabelle/jEdit shuts down, and switching off the computer in the middle might have corrupted it.
You can try to repair or delete that file. The location of $ISABELLE_HOME_USER on Windows is usually something like C:\Users\my_name.isabelle\Isabelle2018.
我认为社区中的其他人可能会遇到这个问题,这个答案可能会为他们节省一些时间。
我正在使用 Windows 10 设备,在与 Isabelle 一起工作后我收到以下错误:
The following plugin could not be loaded:
C:\Users\PC\Desktop\Isabelle2018\src\Tools\jEdit\dist\jars\Isabelle-jEdit.jar:
Cannot start:
*** [line 1 of "preferences"] error: bad input
我注意到这个问题出现在这个版本和以前的 Windows 8 版本中,当没有正确关闭机器时。
在 Isabelle 列表中我得到了这个问题的答案:
The error indicates that the $ISABELLE_HOME_USER/etc/preferences file is in a bad state: the file is written each time Isabelle/jEdit shuts down, and switching off the computer in the middle might have corrupted it.
You can try to repair or delete that file. The location of $ISABELLE_HOME_USER on Windows is usually something like C:\Users\my_name.isabelle\Isabelle2018.
我认为社区中的其他人可能会遇到这个问题,这个答案可能会为他们节省一些时间。