[isabelle-dev] weird error message on startup

Makarius makarius at sketis.net
Wed Dec 6 23:32:30 CET 2017

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