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