I keep getting the error message below. I have changed this option many times but it never sticks. It has been happening consistently since yesterday.
~/isabelle/Repos/src/HOL: hg id ec4fe1032b6e tip Larry "vampire": Error: The Vampire prover is not activated; to activate it, set the Isabelle system option "vampire_noncommercial" to "yes" (e.g. via the Isabelle/jEdit menu Plugin Options / Isabelle / General) _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev