| Age | Commit message (Expand) | Author |
|---|
| 2020-03-18 | Update headers in the whole code base. | Théo Zimmermann |
| 2019-06-17 | Update ml-style headers to new year. | Théo Zimmermann |
| 2018-02-27 | Update headers following #6543. | Théo Zimmermann |
| 2012-07-05 | ZArith + other : favor the use of modern names instead of compat notations | letouzey |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2009-11-03 | OrderedType implementation for various numerical datatypes + min/max structures | letouzey |
| 2009-10-19 | Merge SetoidList2 into SetoidList. | letouzey |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-04-21 | Rename [Morphism] into [Proper] and [respect] into [proper] to comply | msozeau |
| 2009-04-18 | Just export RelationClasses for [Equivalence] through Setoid. | msozeau |
| 2008-12-26 | FMaps: various updates (mostly suggested by P. Casteran) | letouzey |
| 2008-12-18 | FSets: integration of suggestions by P. Casteran and S. Lescuyer | letouzey |
| 2008-12-17 | FSet/OrderedType now includes an eq_dec, and hence become an extension of Dec... | letouzey |
| 2008-09-14 | Add user syntax for creating hint databases [Create HintDb foo | msozeau |
| 2008-06-27 | Enhanced discrimination nets implementation, which can now work with | msozeau |
| 2008-04-08 | - A little cleanup in Classes/*. Separate standard morphisms on | msozeau |
| 2008-03-19 | Do another pass on the typeclasses code. Correct globalization of class | msozeau |
| 2008-03-06 | Plug the new setoid implemtation in, leaving the original one commented | msozeau |
| 2008-02-28 | Nicer third spec of choose. | letouzey |
| 2008-02-04 | Reorganization of FSet+FMap : no more files specific to Weak Sets/Maps | letouzey |
| 2008-02-01 | Thanks to Elie, we can share duplicated stuff in FSets: for a start, FSetWeak... | letouzey |
| 2007-10-30 | temporary workaround for bug #1738 | letouzey |
| 2007-10-30 | A useless Add Morphism: since Subset is a Setoid Relation, it is also | letouzey |
| 2007-10-29 | Revision of the FSetWeak Interface, so that it becomes a precise | letouzey |
| 2007-10-21 | Cleanup attempt of Hints in *Interface.v files. | letouzey |
| 2007-06-11 | undeletion of E_ST and Equal_ST: these records aren't mandatory, but quite us... | letouzey |
| 2007-06-07 | * For uniformity, FSetAVL uses Implicit Arguments (a bit) | letouzey |
| 2006-05-31 | petits ajouts | letouzey |
| 2006-05-20 | suite tentative pour permettre l'utilisation de modules de FSets | letouzey |
| 2006-04-05 | on utilise explicitement Prop/iff pour certains morphismes pour eviter des wa... | letouzey |
| 2006-03-16 | propriete svn:keywords positionnee a Author Date Id Revision sur l'ensemble d... | letouzey |
| 2006-03-15 | Réparation de FSet (back to 8628) | notin |
| 2006-03-15 | reparation des $ | letouzey |
| 2006-03-15 | Ajout de theories/FSets contenant la partie "light" de FSets et FMap: | letouzey |
