Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [lib] Split auxiliary libraries into Coq-specific and general. | Emilio Jesus Gallego Arias | 2017-12-23 |
* | votour: a small tool for guided tours of .vo | letouzey | 2013-04-15 |
* | Fixing ocamldoc errors | ppedrot | 2012-09-25 |
* | Cleaning interface of Util. | ppedrot | 2012-09-18 |