| Age | Commit message (Expand) | Author |
|---|
| 2016-12-06 | Fix broken documentation in presence of \zeroone{... \tt ...}. | Guillaume Melquiond |
| 2016-11-30 | Update copyright on documentation cover. | Maxime Dénès |
| 2016-04-24 | Merge branch 'v8.5' | Pierre-Marie Pédrot |
| 2016-04-12 | FIX: HTML version of Chapter 4 of the Reference Manual | Matej Kosik |
| 2016-01-21 | Merge branch 'v8.5' | Pierre-Marie Pédrot |
| 2016-01-20 | Update copyright headers. | Maxime Dénès |
| 2016-01-14 | Updating and improving the documentation of intros patterns. | Hugo Herbelin |
| 2015-12-10 | ENH: examples for 'strict positivity' were expanded | Matej Kosik |
| 2015-12-10 | CLEANUP: s/List_A/List~A/g | Matej Kosik |
| 2015-12-10 | CLEANUP: superfluous examples were removed | Matej Kosik |
| 2015-12-10 | ENH: new example: "even" | Matej Kosik |
| 2015-12-10 | ALPHA-CONVERSION: s/Length/has_length/g | Matej Kosik |
| 2015-12-10 | ENH: The beginning of Section 4.5 (Inductive declarations) was changed in ord... | Matej Kosik |
| 2015-12-10 | RefMan, ch. 4: Removing the local context of inductive definitions. | Hugo Herbelin |
| 2015-12-10 | RefMan, ch. 4: Adding discharging of inductive types. | Hugo Herbelin |
| 2015-12-10 | RefMan, ch. 4: In chapter 4 about CIC, renounced to keep a local | Hugo Herbelin |
| 2015-12-10 | RefMan, ch. 4: Reformulating introduction of the chapter on CIC, being | Hugo Herbelin |
| 2015-07-31 | Remove some outdated files and fix permissions. | Guillaume Melquiond |
| 2015-02-17 | Separate index for vernacular options. | Maxime Dénès |
| 2015-01-13 | Refresh some copyright headers. | Maxime Dénès |
| 2015-01-05 | Added more informative messages about bullets. | Pierre Courtieu |
| 2014-12-09 | refman: switch all source files to utf8 | Pierre Letouzey |
| 2014-12-09 | refman: remove ?uri=referer in urls pointing to validator.w3.org | Pierre Letouzey |
| 2014-12-09 | refman: xhtml validity of the cover page | Pierre Letouzey |
| 2014-12-09 | doc: improved xhtml compatibility (cover, header,...) | Pierre Letouzey |
| 2014-12-09 | doc/stdlib: fix the html charset in header.html and co | Pierre Letouzey |
| 2014-12-09 | doc: version number in cover.html + updates in coq.inria.fr style | Pierre Letouzey |
| 2014-12-09 | Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la document... | notin |
| 2014-12-09 | Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentat... | notin |
| 2014-11-07 | doc: version number in cover.html + updates in coq.inria.fr style | Pierre Letouzey |
| 2014-08-05 | Making references to Proof General and CoqIDE uniform in Reference Manual. | Hugo Herbelin |
| 2012-09-16 | Beautify tactic documentation a bit more. | gmelquio |
| 2012-09-16 | Remove superfluous spaces and commas in tactic documentation. | gmelquio |
| 2012-08-11 | Improving rendering of ldots in doc (partially done, there are too | herbelin |
| 2012-08-11 | Added support for option Local (at module level) in Tactic Notation. | herbelin |
| 2012-08-11 | Improving rendering of ...-separated lists and sequences in reference | herbelin |
| 2012-08-08 | Documenting eta-conversion. | herbelin |
| 2012-08-08 | More standard layout for \lambda in chapter CIC. | herbelin |
| 2012-04-13 | Documentation of records defined with the keywords Inductive and | aspiwack |
| 2011-12-25 | Version number, copyright, credits: missing updates. | herbelin |
| 2011-12-07 | Html page titles | pboutill |
| 2010-06-23 | Ajout d'une feuille de style pour les définitions spécifiques à Hevea + di... | notin |
| 2010-06-23 | Mise à jour des liens au site Coq (suite à la MAJ de la redirection DNS de ... | notin |
| 2010-06-08 | Added documentation: "Theorem id x1..xn : T" and "Set Automatic Introduction". | herbelin |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2009-02-11 | Modification du style du manuel de référence | notin |
| 2009-01-18 | Backporting from v8.2 to trunk: | herbelin |
| 2009-01-13 | Updated dates | herbelin |
| 2009-01-01 | - Fixed bug #2021 (uncaught exception with injection/discriminate when | herbelin |
| 2008-12-29 | - Added support for subterm matching in SearchAbout. | herbelin |
