14 Oct
2010
14 Oct
'10
5:22 p.m.
On Thursday 14 October 2010 16:33:16 Hans Hagen wrote:
On 14-10-2010 4:16, Arthur Reutenauer wrote:
(joke aside: we need to figure out what to do with it some time pretty soon ...)
Which one is it? osx-ppc?
my guess too
It must have something to do with the TeX lion?