22 Dec
2008
22 Dec
'08
4:33 p.m.
On Mon, Dec 22, 2008 at 5:19 PM, Jeff Smith
Hi all!
Okay, that pun was not that good. Anyways... For the first time ever I'm not using one of my own fonts for a document project. I was wondering about Times. The font itself, installed with ConTeXt. So, I tried using the following in my document:
\usetypescript[times] \setupbodyfont[times,12pt]
It changed to a Times font. Sweet! Now, what sort of Times font is it? :-) Where is it from? Who did it? Has it to do with those Gyre fonts I keep reading about?
I need to... well, no, I just like to know these things when it comes to my documents, especially when they are aimed at publication.
On linux
$>pdffonts