| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Remove the svn-specific $Id$ annotations |  letouzey | 2010-04-29 |
| * | Promote evar_defs to evar_map (in Evd) |  glondu | 2009-11-11 |
| * | Integrate a few improvements on typeclasses and Program from the equations br... |  msozeau | 2009-10-28 |
| * | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
| * | - Cleaning phase of the interfaces of libnames.ml and nametab.ml |  herbelin | 2009-08-06 |
| * | Improved parameterization of Coq: | herbelin | 2009-08-02 |
| * | Backtrack sur la mémoïsation de nf_evar. |  aspiwack | 2009-03-04 |
| * | =?utf-8?q?Tentative=20d'optimisation=20(en=20temps)=20sur=20[nf=5Fevar]=20et=... | aspiwack | 2009-02-27 |
| * | On remplace evar_map par evar_defs (seul evar_defs est désormais exporté | aspiwack | 2009-02-19 |
| * | DISCLAIMER |  puech | 2009-01-17 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |