On Mon, Dec 22, 2008 at 5:19 PM, Jeff Smith <ascarel@gmail.com> wrote:

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.