| Age | Commit message (Expand) | Author |
|---|
| 2020-10-05 | Adapting theories to unused pattern-matching variable warning. | Hugo Herbelin |
| 2020-03-19 | [stdlib] Remove a few `auto with *` | Vincent Laporte |
| 2020-03-18 | Update headers in the whole code base. | Théo Zimmermann |
| 2019-10-22 | FSets: do not use “omega” | Vincent Laporte |
| 2019-06-17 | Update ml-style headers to new year. | Théo Zimmermann |
| 2019-05-25 | Modifying theories to preferably use the "[= ]" syntax, and, | Hugo Herbelin |
| 2018-12-19 | Put #[universes(template)] on all auto template spots in stdlib | Gaëtan Gilbert |
| 2018-02-27 | Update headers following #6543. | Théo Zimmermann |
| 2017-07-16 | Removing a dummy parameter in some FMapPositive statements. | Hugo Herbelin |
| 2016-06-18 | Giving a more natural semantics to injection by default. | Hugo Herbelin |
| 2015-12-07 | Fix some typos. | Guillaume Melquiond |
| 2014-09-09 | - Fix printing and parsing of primitive projections, including the Set | Matthieu Sozeau |
| 2014-06-20 | Cleanup treatment of template universe polymorphism (thanks to E. Tassi | Matthieu Sozeau |
| 2014-06-01 | Making those proofs which depend on names generated for the arguments | Hugo Herbelin |
| 2014-05-06 | This commit adds full universe polymorphism and fast projections to Coq. | Matthieu Sozeau |
| 2013-07-17 | "Boolean Equality" and "Case Analysis" are already off by default... | letouzey |
| 2013-01-18 | Unset Asymmetric Patterns | pboutill |
| 2012-07-05 | Open Local Scope ---> Local Open Scope, same with Notation and alii | letouzey |
| 2012-03-14 | Final part of moving Program code inside the main code. Adapted add_definitio... | msozeau |
| 2011-11-21 | theories/, plugins/ and test-suite/ ported to the Arguments vernacular | gareuselesinge |
| 2011-03-13 | - Add modulo_delta_types flag for unification to allow full | msozeau |
| 2010-07-16 | FSetPositive: sets of positive inspired by FMapPositive. | letouzey |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2009-11-02 | Remove various useless {struct} annotations | letouzey |
| 2009-10-19 | Merge SetoidList2 into SetoidList. | letouzey |
| 2009-09-28 | Fix the stdlib doc compilation + switch all .v file to utf8 | letouzey |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-09-08 | Fix the bug-ridden code used to choose leibniz or generalized | msozeau |
| 2008-12-17 | FSet/OrderedType now includes an eq_dec, and hence become an extension of Dec... | letouzey |
| 2008-12-11 | Structural definition of PositiveMap.fold | glondu |
| 2008-12-11 | Make PositiveMap.xmapi structural | glondu |
| 2008-03-04 | migration from Set to Type of FSet/FMap + some dependencies... | letouzey |
| 2008-02-28 | Some suggestions about FMap by P. Casteran: | letouzey |
| 2008-02-28 | cardinal is promoted to the rank of primitive member of the FMap interface | letouzey |
| 2007-10-29 | Revision of the FSetWeak Interface, so that it becomes a precise | letouzey |
| 2007-05-27 | As suggested by Pierre Casteran, fold for FSets/FMaps now takes a | letouzey |
| 2007-05-25 | fix for bug #1347 (no more Scope pollution by FSets) | letouzey |
| 2007-03-26 | PositiveOrderedTypeBits is now formulated to be a UsualOrderedType, not only ... | letouzey |
| 2006-09-26 | mise a jour du nouveau ring et ajout du nouveau field, avant renommages | barras |
| 2006-09-21 | incomplete and temporary fix for PR#1222: revert accepts up to 10 args | letouzey |
| 2006-04-29 | suite de l'ajout des FSets/FMaps dans les theories standards | letouzey |
