Parse the Common Lisp specification TeX documents