[isabelle-dev] Vampire

[Blanchette, J.C.]

> 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"?

Jasmin