| Commit message (Expand) | Author | Age |
|---|
| ... | |
| * | - Tentatively made order-dependency wrt .vo files a full dependency |  herbelin | 2009-09-15 |
| * | Fixes for toc depth handling and handling of substitles from Chris Casinghino. |  msozeau | 2009-09-10 |
| * | Update coqdoc documentation, CHANGES and add a fix for the proofbox (patch | msozeau | 2009-09-08 |
| * | Fix the bug-ridden code used to choose leibniz or generalized | msozeau | 2009-09-08 |
| * | Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino, | msozeau | 2009-09-04 |
| * | Add --plain-comments patch by F. Garillot, which also adds | msozeau | 2009-09-03 |
| * | Allow coqdoc comments inside definition bodies. | msozeau | 2009-07-09 |
| * | Report de la révision #12104 (Maj lien site web de Coq) |  notin | 2009-04-24 |
| * | Take formatted into account in rules for dot. | msozeau | 2009-04-08 |
| * | Change HTML paragraph output to avoid too much space after bulleted | msozeau | 2009-04-08 |
| * | Fix behavior on newlines with parse-comments and also do [] escaping as | msozeau | 2009-04-06 |
| * | Protect typeset arguments in titles in LaTeX output (fixes compilation | msozeau | 2009-03-26 |
| * | Fix coqdoc bugs reported by Ian Lynagh. | msozeau | 2009-03-24 |
| * | pretty.mll of coqdoc becomes cpretty.mll (avoid clash with a camlp5 file) |  letouzey | 2009-03-24 |
| * | More elaborate handling of newlines in Gallina mode. Support inline | msozeau | 2009-03-22 |
| * | coqdoc fixes and support for parsing regular comments (request by | msozeau | 2009-03-22 |
| * | Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk | notin | 2009-02-11 |
| * | Fix d'un bug avec l'option gallina | notin | 2009-02-04 |
| * | - Better deal with commands inside section titles in latex output using | msozeau | 2009-01-21 |
| * | Various little fixes: | msozeau | 2009-01-18 |
| * | Patch by Brian Campbell to output more information on the exception that | msozeau | 2009-01-15 |
| * | Minor doc fixes: | msozeau | 2009-01-08 |
| * | Suite de la révision #11756 | notin | 2009-01-07 |
| * | Produce better html code with coqdoc and improve doc: | msozeau | 2008-12-29 |
| * | Nettoyage des variables Coq et amélioration de coqmktop. Les | notin | 2008-12-19 |
| * | Amélioration du README.doc et de l'installation de la doc | notin | 2008-11-14 |
| * | Minor fixes: | msozeau | 2008-11-05 |
| * | Ajout d'une option -raw pour Coqdoc (sortie en texte brut) | notin | 2008-10-31 |
| * | Stop using a coqdocdoc env which prevents use of environments inside | msozeau | 2008-10-26 |
| * | Various coqdoc improvements: | msozeau | 2008-10-22 |
| * | ## Lines starting with '## ' will be removed from the log message. | msozeau | 2008-10-06 |
| * | Minor fixes related to coqdoc and --interpolate and the dependent | msozeau | 2008-10-03 |
| * | Forgot one file. | msozeau | 2008-09-25 |
| * | Improvements in coqdoc: | msozeau | 2008-09-25 |
| * | Add types introduced by subtac in *.glob files |  glondu | 2008-09-15 |
| * | Correction du bug #1908 (améliorations de coqdoc.css) | notin | 2008-09-04 |
| * | Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d... | notin | 2008-07-18 |
| * | - coqdoc: correction d'un bug sur les commentaires imbriqués | notin | 2008-07-17 |
| * | Oubli lors de la révision #11177 | notin | 2008-06-26 |
| * | Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio... | notin | 2008-06-25 |
| * | Little fixes: print unbound variable in error message (patch by Samuel | msozeau | 2008-06-19 |
| * | Add possibility to match on defined hypotheses, using brackets to | msozeau | 2008-06-16 |
| * | Correction d'un problème lié à une interaction entre hyperref et | notin | 2008-06-12 |
| * | - Correct handling of DependentMorphism error, using tclFAIL instead of | msozeau | 2008-06-10 |
| * | 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 |
| * | add support for pdf in coqdoc, add export to pdf in coqide, port open and sav... |  jnarboux | 2008-05-28 |
| * | Ajout d'options a coqdoc pour l'entete html | notin | 2008-04-08 |
| * | Correction du bug #1814 (trunk et v8.1) + améliorations dans coqdep et coq_m... | notin | 2008-03-26 |
herbelin
msozeau
notin
letouzey
glondu
jnarboux