[eudox]

It's a giant collection of TeX files from 1994. It's not easily converted into a proper, parseable format.