Hacker News new | ask | show | jobs
by Quiark 6065 days ago
TeX?

yep, it's pdfTeX, I just verified it in the document properties. I'm glad you used it :)
1 comments
hh 6065 days ago
We used Texlive 2008 to generate these worksheet. It's great.
link