Hey Richard, I am pretty sure it is Windows, and it's the most recent version from miktex. I can ask her for the specifics though if you think it might help?
-- Christos Makridis Ph.D. Candidate, Stanford University Department of Management Science & Engineering Department of Economics www.christosmakridis.com