Re: [isabelle-dev] weird error message on startup

I was able to fix the problem by going to the afp-devel directory and typing “hg fetch". I guess some big incompatible changes had taken place. Larry > On 6 Dec 2017, at 22:32, Makarius wrote: > > On 06/12/17 15:48, Lawrence Paulson wrote: >> I've just updated to a recent

Re: [isabelle-dev] weird error message on startup

On 06/12/17 15:48, Lawrence Paulson wrote: > I've just updated to a recent version (fa1173288322) and tried to run a > session by the following command: > > isabelle jedit -l HOL-Analysis CV.thy > > And then I get an alert box containing the appended text. Any idea what's > going wrong here?

Re: [isabelle-dev] weird error message on startup

I have modified HOL-Analysis but broke latex as a result. I have undone it again just now. No idea if this has anything to do with your problem. Tobias On 06/12/2017 15:48, Lawrence Paulson wrote: I've just updated to a recent version (fa1173288322) and tried to run a session by the

[isabelle-dev] weird error message on startup

I've just updated to a recent version (fa1173288322) and tried to run a session by the following command: isabelle jedit -l HOL-Analysis CV.thy And then I get an alert box containing the appended text. Any idea what's going wrong here? Larry Cannot load theory file