[isabelle-dev] weird error message on startup

Lawrence Paulson lp15 at cam.ac.uk
Thu Dec 7 12:48:57 CET 2017

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.

> On 6 Dec 2017, at 22:32, Makarius <makarius at sketis.net> wrote:
> 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?
> It looks like you have an alien AFP version in your ROOTS or -d options,
> one that does not fit to the Isabelle version.

More information about the isabelle-dev mailing list