[isabelle-dev] Vampire

Blanchette, J.C. j.c.blanchette at vu.nl
Wed Jul 4 11:21:16 CEST 2018

> On 3 Jul 2018, at 13:07, Lawrence Paulson <lp15 at cam.ac.uk> wrote:
> 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

Could it be something as simple as a typo or a spurious space? The only recognized values are "yes" and "no" (upper- or lowercase). What happens if you change the option to "no"? What happens if you change it back to "yes"?

Could you send me the contents of your file "~/.isabelle/etc/preferences"?


More information about the isabelle-dev mailing list