I seem to have fixed the problem by selecting File > Reload with encoding > UTF-8-Isabelle
Larry > On 2 Jan 2018, at 22:05, Lawrence Paulson <l...@cam.ac.uk> wrote: > > But after letting the system build again, the result is the same as before. >
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev