| Commit message (Expand) | Author | Age |
|---|
| * | Documenting the [Variant] type definition and the [Nonrecursive Elimination S... |  Arnaud Spiwack | 2014-09-04 |
| * | "allows to", like "allowing to", is improper |  Jason Gross | 2014-08-25 |
| * | Silence some warning about references in documentation. |  Guillaume Melquiond | 2013-12-03 |
| * | Typo in refman (fix #2962) |  letouzey | 2013-03-25 |
| * | Allowing (Co)Fixpoint to be defined local and Let-style. |  ppedrot | 2013-03-11 |
| * | Documentation of the "Local Definition" command. | ppedrot | 2013-03-11 |
| * | Improving rendering of ldots in doc (partially done, there are too |  herbelin | 2012-08-11 |
| * | Improving rendering of ...-separated lists and sequences in reference | herbelin | 2012-08-11 |
| * | ZArith + other : favor the use of modern names instead of compat notations | letouzey | 2012-07-05 |
| * | Uniformisation in the documentation: remove the use of 'coinductive' in |  aspiwack | 2012-04-13 |
| * | RefMan update about match syntax. |  pboutill | 2012-02-29 |
| * | Corrected a careless cut-and-paste in Gallina description which dated back to... | ppedrot | 2012-02-01 |
| * | Remove 'status' of Program and explain the :> better, as well as referencing ... |  msozeau | 2011-10-07 |
| * | Bug 2583: Update of the syntax of terms in the reference manual | pboutill | 2011-09-01 |
| * | Added documentation: "Theorem id x1..xn : T" and "Set Automatic Introduction". | herbelin | 2010-06-08 |
| * | Remove the svn-specific $Id$ annotations | letouzey | 2010-04-29 |
| * | Add doc of [Context] vernacular. | msozeau | 2009-09-11 |
| * | - Fixed various Overfull in documentation. | herbelin | 2009-01-27 |
| * | Backporting from v8.2 to trunk: | herbelin | 2009-01-18 |
| * | - Fixed minor bug #1994 in the tactic chapter of the manual [doc] | herbelin | 2008-11-22 |
| * | Ajout de "Theorem id1 : t1 ... with idn : tn" pour partager la preuve | herbelin | 2008-04-25 |
| * | Standardisation du format des références croisées vers Figure, Section, Ch... | herbelin | 2008-01-05 |
| * | If a fixpoint is not written with an explicit { struct ... }, then | letouzey | 2007-07-07 |
| * | Changed many refman/*.tex files. Put \label and \index commands that immediat... |  emakarov | 2007-04-17 |
| * | Eliminated warning messages from Hevea. Most warning messages were | emakarov | 2007-04-10 |
| * | Relecture/nettoyage chapitre Gallina; déplacement section Function | herbelin | 2007-02-07 |
| * | Updating the doc about Function and co |  courtieu | 2006-09-07 |
| * | MAJ |  jforest | 2006-07-17 |
| * | MAJ doc/refman |  notin | 2006-07-11 |
| * | MAJ du manuel de référence (modules+fixpoints+pose proof) | notin | 2006-07-07 |
| * | Précisions sur l'Unicode reconnu; typo; ajout Example, Proposition, Corollary. | herbelin | 2006-07-05 |
| * | Documentation or-pattern | herbelin | 2006-07-04 |
| * | petites corrections dans la doc de functional xxx. | courtieu | 2006-06-07 |
| * | mise en texttt d'une commande. | courtieu | 2006-06-07 |
| * | Changements sur Functional xxx. Plus précis et plus exact. | courtieu | 2006-06-07 |
| * | Ajout de précisions dans la doc de functional scheme et consort + | courtieu | 2006-06-06 |
| * | nouveaux parametres |  cpaulin | 2006-06-05 |
| * | updating Function documentation | jforest | 2006-05-17 |
| * | Continue l'écriture de la doc de "Function". Pas fini, manque: | courtieu | 2006-04-28 |
| * | Added a short doc for "Function". To be finished. | courtieu | 2006-04-27 |
| * | Nettoyage de l'archive doc et restructuration avant intégration à l'archive | herbelin | 2006-02-23 |
Arnaud Spiwack
Jason Gross
Guillaume Melquiond
letouzey
ppedrot
herbelin
aspiwack
pboutill
msozeau
emakarov
courtieu
jforest
notin
cpaulin