-
Gabor Greif authored
Richard, you may want to regenerate the PDF as I get ! LaTeX Error: File `stmaryrd.sty' not found. with my setup and do not want to mess things up. Also for me ?? appear twice on top of the page 13 and I have tp 'rm core-spec.pdf; make' to get it right.
a924debc