aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqdoc/coqdoc.sty
Commit message (Expand)AuthorAge
* Better fix to bug #2183 ("moduleid" internal name got exposed to usersGravatar herbelin2010-12-04
* Misc fixes.Gravatar msozeau2009-11-06
* Integrate a few improvements on typeclasses and Program from the equations br...Gravatar msozeau2009-10-28
* - Tentatively made order-dependency wrt .vo files a full dependencyGravatar herbelin2009-09-15
* Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino,Gravatar msozeau2009-09-04
* Fix coqdoc bugs reported by Ian Lynagh.Gravatar msozeau2009-03-24
* - Better deal with commands inside section titles in latex output usingGravatar msozeau2009-01-21
* Minor fixes:Gravatar msozeau2008-11-05
* Stop using a coqdocdoc env which prevents use of environments insideGravatar msozeau2008-10-26
* Various coqdoc improvements:Gravatar msozeau2008-10-22
* Correction d'un problème lié à une interaction entre hyperref etGravatar notin2008-06-12
* Enhancements to coqdoc, better globalization of sections and modules.Gravatar msozeau2008-06-06
* Fix setoid_rewrite documentation examples.Gravatar msozeau2008-06-03
* Improvements on coqdoc by adding more information into .globGravatar msozeau2008-05-30
* Mise en forme des theoriesGravatar notin2006-10-17
* erreur coqdoc + headsepGravatar mohring2005-10-20
* *** empty log message ***Gravatar filliatr2004-02-24