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