Re: [isabelle-dev] font issues in Isabelle jedit

2018-01-04 Thread Makarius
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

Re: [isabelle-dev] font issues in Isabelle jedit

2018-01-03 Thread 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 wrote: > > But after letting the system build again, the result is the same as before. >

Re: [isabelle-dev] font issues in Isabelle jedit

2018-01-02 Thread Lawrence Paulson
> 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 >

Re: [isabelle-dev] font issues in Isabelle jedit

2018-01-02 Thread Makarius
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)" > >

[isabelle-dev] font issues in Isabelle jedit

2018-01-02 Thread Lawrence Paulson
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