| 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 |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | 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 |
| 2008-12-28 | - Another bug in get_sort_family_of (sort-polymorphism of constants and | herbelin |
| 2008-12-17 | FSet/OrderedType now includes an eq_dec, and hence become an extension of Dec... | letouzey |
| 2008-02-08 | misc improvements | letouzey |
| 2008-02-04 | Reorganization of FSet+FMap : no more files specific to Weak Sets/Maps | letouzey |
| 2007-11-06 | small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is | letouzey |
| 2006-05-30 | * suite de la revision des wrappers Make | letouzey |
| 2006-04-29 | suite de l'ajout des FSets/FMaps dans les theories standards | letouzey |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |