On 02/01/18 19:34, Lawrence Paulson wrote:
> 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 \ T)) = integral UNIV
(\a. if a \ S \ T then 1::real else 0)"
On 03/01/18
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 wrote:
>
> But after letting the system build again, the result is the same as before.
>
> On 2 Jan 2018, at 19:21, Makarius wrote:
>
> I have changed the fonts again recently, see Isabelle/ecb74607063f. I've
> made a brief test on my MacMini with High Sierra, and it appears to work.
>
>
> Normally "isabelle components -a" should give you the resulting ttf
>
On 02/01/18 19:34, Lawrence Paulson wrote:
> 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 \ T)) = integral UNIV (\a.
> if a \ S \ T then 1::real else 0)"
>
>
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 \ T)) = integral UNIV (\a.
if a \ S \ T then 1::real else 0)"
Any idea what could be wrong? I’m using
> 6afba546f0e5