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


isabelle-dev mailing list

Reply via email to