[isabelle-dev] font issues in Isabelle jedit

[Lawrence Paulson]

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