| Age | Commit message (Expand) | Author |
|---|---|---|
| 2000-11-26 | Distinction claire entre Induction (nom interne : raw_induct) et le nouvel in... | herbelin |
| 2000-11-24 | Nouveau choix pour l'intros initial | delahaye |
| 2000-10-18 | Renommage canonique : | herbelin |
| 2000-10-13 | Suppression du test de convertibilite inutile pour la plupart des exact; 2 ve... | herbelin |
| 2000-09-10 | nettoyage | herbelin |
| 2000-09-10 | Suppression de Abst | herbelin |
| 2000-05-16 | Retrait du i pour tclTHEN_i et correction bugs Decompose | herbelin |
| 2000-05-05 | Achèvement nettoyage Pfedit; ajout intros_replacing | herbelin |
| 2000-05-04 | Nettoyage de l'interface de Pfedit | herbelin |
| 2000-05-03 | Ajout du langage de tactiques | delahaye |
| 1999-12-03 | modules profile, Coqinit et Coqtop (=main) | filliatr |
| 1999-12-02 | modifs pour premiere edition de liens | filliatr |
| 1999-11-22 | module Tactics (debut) | filliatr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |