Commit message (Expand) | Author | Age | |
---|---|---|---|
* | - Tentatively made order-dependency wrt .vo files a full dependency | herbelin | 2009-09-15 |
* | Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino, | msozeau | 2009-09-04 |
* | Fix coqdoc bugs reported by Ian Lynagh. | msozeau | 2009-03-24 |
* | - Better deal with commands inside section titles in latex output using | msozeau | 2009-01-21 |
* | Minor fixes: | msozeau | 2008-11-05 |
* | Stop using a coqdocdoc env which prevents use of environments inside | msozeau | 2008-10-26 |
* | Various coqdoc improvements: | msozeau | 2008-10-22 |
* | Correction d'un problème lié à une interaction entre hyperref et | notin | 2008-06-12 |
* | Enhancements to coqdoc, better globalization of sections and modules. | msozeau | 2008-06-06 |
* | Fix setoid_rewrite documentation examples. | msozeau | 2008-06-03 |
* | Improvements on coqdoc by adding more information into .glob | msozeau | 2008-05-30 |
* | Mise en forme des theories | notin | 2006-10-17 |
* | erreur coqdoc + headsep | mohring | 2005-10-20 |
* | *** empty log message *** | filliatr | 2004-02-24 |