Friday, February 06, 2015

Coqdoc requires latex package 'preprint'...

For TeXStudio to convert coqdoc Latex to pdf, you'll need to install the 'preprint' package that is required by the 'usepackage{coqdoc}' command.
Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)