| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-03-20 | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey |
| 2009-03-17 | - gros commit sur ring et field: passage des arguments simplifie | barras |
| 2009-03-14 | Makefile: ml dependencies of contribs are moved to .mllib files | letouzey |
| 2009-03-06 | fixed groebner as a plugin + pattern matching Timeout | barras |
| 2009-03-06 | missing Require | barras |
| 2009-03-06 | oups (module Entiers remplace par Big_int) | barras |
| 2009-03-05 | ajout de la tactique groebner de Loic Pottier | barras |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |