| Age | Commit message (Expand) | Author |
|---|
| 2017-09-22 | Avoid generated names for html pages of the reference manual (bug #4742). | Guillaume Melquiond |
| 2017-08-22 | Fix obsolete description of real numerals. | Guillaume Melquiond |
| 2017-07-05 | Merge PR #850: Improve grammar in RefMan-Gal and RefMan-syn | Maxime Dénès |
| 2017-07-04 | Merge branch 'v8.6' | Pierre-Marie Pédrot |
| 2017-07-01 | Update RefMan-syn.tex | william-lawvere |
| 2017-07-01 | RefMan-syn: grammar edit | William Lawvere |
| 2017-06-23 | Fix Bug #5574, document function scope | Paul Steckler |
| 2017-06-13 | doc: improve grammar of RefMan-syn | William Lawvere |
| 2017-03-23 | Merge PR#433: doc: fix a French-ism | Maxime Dénès |
| 2017-03-14 | doc: fix a French-ism | Valentin Robert |
| 2017-03-09 | Typo doc notations. | Hugo Herbelin |
| 2017-03-09 | Clarifying doc about interpretation of scopes in notations (#5386). | Hugo Herbelin |
| 2016-12-16 | Fix incorrect documentation that prevents successful compilation (bug #5265). | Guillaume Melquiond |
| 2016-11-08 | Update documentation of Arguments after recent changes. | Maxime Dénès |
| 2016-07-17 | More examples of recursive notations, with emphasis in reference manual. | Hugo Herbelin |
| 2016-06-28 | Documenting the "only printing" notation flag. | Pierre-Marie Pédrot |
| 2016-05-15 | Fix a really small doc typo | Ricky Elrod |
| 2015-08-14 | Revert commit 18796b6aea453bdeef1ad12ce80eeb220bf01e67, close 3080 | Jason Gross |
| 2015-06-26 | Introduction of a "Undelimit Scope" command, undoing "Delimit Scope" | Lionel Rieg |
| 2015-03-13 | Fixing #4127 (command for locating exists notation in refman changed). | Hugo Herbelin |
| 2015-03-05 | Preprend Fail to all the expected failures in the documentation. | Guillaume Melquiond |
| 2015-02-17 | Separate index for vernacular options. | Maxime Dénès |
| 2015-02-05 | Fix some documentation typos. | Guillaume Melquiond |
| 2015-01-29 | Fix index of reference manual. | Guillaume Melquiond |
| 2014-08-05 | Doc: uconstr now has a tactic notation entry. | Arnaud Spiwack |
| 2012-08-11 | Added support for option Local (at module level) in Tactic Notation. | herbelin |
| 2012-04-13 | Uniformisation in the documentation: remove the use of 'coinductive' in | aspiwack |
| 2012-03-26 | Slight change in the semantics of arguments scopes: scopes can no | herbelin |
| 2011-12-06 | Documentation for Arguments + notation scopes | gareuselesinge |
| 2011-09-02 | Bug 2589: Documentation patch of Hendrik Tews | pboutill |
| 2011-04-28 | Adding "Tactic Notation" in doc index. | herbelin |
| 2010-07-22 | Extension of the recursive notations mechanism | herbelin |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2009-11-11 | Added support for multiple where-clauses in Inductive and co (see wish #2163). | herbelin |
| 2009-11-02 | Correction du bug #2175 | notin |
| 2009-10-26 | New cleaning phase of the Local/Global option management | herbelin |
| 2009-10-25 | Improved the treatment of Local/Global options (noneffective Local on | herbelin |
| 2009-01-19 | - Structuring Numbers and fixing Setoid in stdlib's doc. | herbelin |
| 2009-01-13 | - Standardized prefix use of "Local"/"Global" modifiers as decided in | herbelin |
| 2008-10-11 | Backporting 11445 from 8.2 to trunk (negative conditions in | herbelin |
| 2008-07-01 | Documentation Prop<=Set et Arguments Scope Global | herbelin |
| 2008-06-08 | - Extension de "generalize" en "generalize c as id at occs". | herbelin |
| 2008-05-12 | MAJ et bricoles diverses | herbelin |
| 2008-05-05 | Minor updates in the documentation of notations. | glondu |
| 2008-03-30 | Ajout d'abbréviations/notations paramétriques | herbelin |
| 2008-01-05 | Standardisation du format des références croisées vers Figure, Section, Ch... | herbelin |
| 2007-04-17 | Changed many refman/*.tex files. Put \label and \index commands that immediat... | emakarov |
| 2006-07-05 | Mise à jour scopes prédéfinis et Tactic Notation pour tacticals | herbelin |
| 2006-07-04 | Doc Print Grammar pattern | herbelin |
| 2006-02-24 | Modification des propriétés des fichiers .tex (svn:executable) | notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty |
