aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/ppstyle.ml
Commit message (Expand)AuthorAge
* Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.Gravatar Thomas Sibut-Pinote2015-06-25