aboutsummaryrefslogtreecommitdiff
path: root/dev/changements.txt
AgeCommit message (Expand)Author
2006-05-23Restructuration dossier dev et mise à jour de certaines documentationsherbelin
2002-08-02Modules dans COQ\!\!\!\!coq
2002-06-14*** empty log message ***herbelin
2002-05-29Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...herbelin
2001-12-19MAJ V7.2herbelin
2001-01-30MAJherbelin
2000-12-18MAJherbelin
2000-10-11MAJherbelin
2000-10-03MAJherbelin
2000-09-26MAJherbelin
2000-09-10Ajout d'un LetIn primitif.herbelin
2000-09-06Canonisation de certains noms dans Pretyping, Asterm et Safe_typingherbelin
2000-07-24MAJherbelin
2000-06-02MAJherbelin
2000-05-05MAJherbelin
2000-05-04Nettoyage de l'interface de Pfeditherbelin
2000-04-30MAJherbelin
2000-04-28MAJherbelin
2000-03-28Nettoyage de l'interface d'Astterm; renommage des {pf_,}constr_of_com* en {pf...herbelin
2000-03-17Correction bug des réduction 'deltat' et renommage 'deltat' en 'evar'herbelin
2000-01-07Restructuration diversesherbelin
1999-12-15Nouveaux types 'constructor' et 'inductive' dans Term;herbelin
1999-12-14rattrapage exceptions autres que UserErrorfilliatr
1999-12-10indications pour les developpeursfilliatr
1999-12-05premier debugagefilliatr
1999-12-02Modifs suite à intégration de class.mlherbelin
1999-12-01Intégration du Termast et du Retyping de HH, et modifications connexesherbelin
1999-11-23modules Indrec, Tacentries, Hiddentacfilliatr
1999-11-19modules Bij, Gmapl, Stockfilliatr
1999-11-19discriminations netsfilliatr
1999-09-08changements dans les grammairesfilliatr
1999-08-26environnement surfilliatr
1999-08-26le noyau compile et linkfilliatr
1999-08-24mach et himsg; typage sans extractionfilliatr
1999-08-20machine: execute = typage avec universfilliatr
1999-08-18module Reduction (debut)filliatr
1999-08-17module Closurefilliatr
1999-08-17ajout de modulesfilliatr
1999-08-16liste des changementsfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 22:51:32 +0000