| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-01-21 | - Better deal with commands inside section titles in latex output using | msozeau |
| 2008-11-05 | Minor fixes: | msozeau |
| 2008-10-26 | Stop using a coqdocdoc env which prevents use of environments inside | msozeau |
| 2008-10-22 | Various coqdoc improvements: | msozeau |
| 2008-06-12 | Correction d'un problème lié à une interaction entre hyperref et | notin |
| 2008-06-06 | Enhancements to coqdoc, better globalization of sections and modules. | msozeau |
| 2008-06-03 | Fix setoid_rewrite documentation examples. | msozeau |
| 2008-05-30 | Improvements on coqdoc by adding more information into .glob | msozeau |
| 2006-10-17 | Mise en forme des theories | notin |
| 2005-10-20 | erreur coqdoc + headsep | mohring |
| 2004-02-24 | *** empty log message *** | filliatr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |