> On 3 Jul 2018, at 13:07, Lawrence Paulson <l...@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"?


isabelle-dev mailing list

Reply via email to