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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
