[isabelle-dev] font issues in Isabelle jedit

Lawrence Paulson lp15 at cam.ac.uk
Tue Jan 2 19:34:51 CET 2018

Fonts have been weird for me for some time (clearly wider than jedit “thinks” they are) but now symbols are completely missing. E.g. I see

  have "integral UNIV (indicator (S \<inter> T)) = integral UNIV (\<lambda>a. if a \<in> S \<inter> T then 1::real else 0)"

Any idea what could be wrong? I’m using

> 6afba546f0e5 tip


More information about the isabelle-dev mailing list