| Age | Commit message (Expand) | Author |
|---|---|---|
| 2001-04-19 | remplace Zarith par ZArith | mohring |
| 2001-04-08 | ajout des lemmes Zimmerman | mohring |
| 2001-03-15 | entetes | filliatr |
| 2001-02-01 | - coqc : option -image | filliatr |
| 2000-12-20 | Rétablissement de l'ancien comportement de Simpl sauf dans le cas mutuel ind... | herbelin |
| 2000-11-28 | Elimination du ' | delahaye |
| 2000-11-11 | Y avait des '.' non suivis d'un séparateur | herbelin |
| 2000-10-10 | Finalement, encore un Simpl inutile | herbelin |
| 2000-10-06 | Changement dans la stratégie de réduction du Fix par Simpl | herbelin |
| 2000-05-03 | Ajout du langage de tactiques | delahaye |
| 2000-03-30 | erreurs lexicales dans les patterns (manquait des espaces) | filliatr |
| 2000-03-21 | - bug make_module_marker (plus de # et de .obj maintenant) | filliatr |
| 2000-03-18 | Zarith | filliatr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |