[isabelle-dev] Missing letters in jEdit
makarius at sketis.net
Wed Sep 18 22:26:22 CEST 2013
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.
More information about the isabelle-dev