[isabelle-dev] Missing letters in jEdit

[Makarius]

On Tue, 17 Sep 2013, Jasmin Blanchette wrote:

>> Which is the font used in the screenshot?  Is this a standard font by 
>> Apple, or from somewhere else?
>
> It's called Consolas. I believe it's included with Mac OS X 10.8 -- I 
> don't remember installing any special fonts.

That is a commercial font by Microsoft.  It comes as add-on for Visual 
Studio, or can be purchased separately. BBEdit on the Mac also includes a 
licensed copy of it.


 	Makarius