| Commit message (Expand) | Author | Age |
* | Update documentation (bugs #5246 and #5251). | Guillaume Melquiond | 2016-12-06 |
* | Adding ability to put any pattern in binders, prefixed by a quote. | Daniel de Rauglaudre | 2016-06-27 |
* | Remove a mention of Set Virtual Machine in doc. | Maxime Dénès | 2015-12-14 |
* | TYPOGRAPHY: 'non dependent product', just like 'dependent product' is now emp... | Matej Kosik | 2015-12-10 |
* | RefMan, ch. 4: Reference Manual: more on the "in pattern" clause and | Hugo Herbelin | 2015-12-10 |
* | RefMan, ch. 1 and 2: avoiding using the name "constant" when | Hugo Herbelin | 2015-12-06 |
* | Fix some broken Coq scripts in the documentation. | Guillaume Melquiond | 2015-07-30 |
* | Preprend Fail to all the expected failures in the documentation. | Guillaume Melquiond | 2015-03-05 |
* | Fix some broken Coq scripts in the reference manual. | Guillaume Melquiond | 2015-01-29 |
* | More documentation of the Local Definitions and Axioms. | Pierre-Marie Pédrot | 2015-01-13 |
* | 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 |