[isabelle-dev] font issues in Isabelle jedit

Lawrence Paulson lp15 at cam.ac.uk
Wed Jan 3 23:22:37 CET 2018

I seem to have fixed the problem by selecting

File > Reload with encoding > UTF-8-Isabelle


> On 2 Jan 2018, at 22:05, Lawrence Paulson <lp15 at cam.ac.uk> wrote:
> But after letting the system build again, the result is the same as before.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20180103/43e814a1/attachment-0002.html>

More information about the isabelle-dev mailing list