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. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev