| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Renommage canonique : |  herbelin | 2000-10-18 |
| * | Suppression du test de convertibilite inutile pour la plupart des exact; 2 ve... | herbelin | 2000-10-13 |
| * | nettoyage | herbelin | 2000-09-10 |
| * | Suppression de Abst | herbelin | 2000-09-10 |
| * | Retrait du i pour tclTHEN_i et correction bugs Decompose | herbelin | 2000-05-16 |
| * | Achèvement nettoyage Pfedit; ajout intros_replacing | herbelin | 2000-05-05 |
| * | Nettoyage de l'interface de Pfedit | herbelin | 2000-05-04 |
| * | Ajout du langage de tactiques |  delahaye | 2000-05-03 |
| * | modules profile, Coqinit et Coqtop (=main) |  filliatr | 1999-12-03 |
| * | modifs pour premiere edition de liens | filliatr | 1999-12-02 |
| * | module Tactics (debut) | filliatr | 1999-11-22 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |