加载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）列表中，我得到了这个问题的答案：

  

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

     

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

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