aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/changements.txt
Commit message (Expand)AuthorAge
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* *** empty log message ***Gravatar herbelin2002-06-14
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* MAJ V7.2Gravatar herbelin2001-12-19
* MAJGravatar herbelin2001-01-30
* MAJGravatar herbelin2000-12-18
* MAJGravatar herbelin2000-10-11
* MAJGravatar herbelin2000-10-03
* MAJGravatar herbelin2000-09-26
* Ajout d'un LetIn primitif.Gravatar herbelin2000-09-10
* Canonisation de certains noms dans Pretyping, Asterm et Safe_typingGravatar herbelin2000-09-06
* MAJGravatar herbelin2000-07-24
* MAJGravatar herbelin2000-06-02
* MAJGravatar herbelin2000-05-05
* Nettoyage de l'interface de PfeditGravatar herbelin2000-05-04
* MAJGravatar herbelin2000-04-30
* MAJGravatar herbelin2000-04-28
* Nettoyage de l'interface d'Astterm; renommage des {pf_,}constr_of_com* en {pf...Gravatar herbelin2000-03-28
* Correction bug des réduction 'deltat' et renommage 'deltat' en 'evar'Gravatar herbelin2000-03-17
* Restructuration diversesGravatar herbelin2000-01-07
* Nouveaux types 'constructor' et 'inductive' dans Term;Gravatar herbelin1999-12-15
* rattrapage exceptions autres que UserErrorGravatar filliatr1999-12-14
* indications pour les developpeursGravatar filliatr1999-12-10
* premier debugageGravatar filliatr1999-12-05
* Modifs suite à intégration de class.mlGravatar herbelin1999-12-02
* Intégration du Termast et du Retyping de HH, et modifications connexesGravatar herbelin1999-12-01
* modules Indrec, Tacentries, HiddentacGravatar filliatr1999-11-23
* modules Bij, Gmapl, StockGravatar filliatr1999-11-19
* discriminations netsGravatar filliatr1999-11-19
* changements dans les grammairesGravatar filliatr1999-09-08
* environnement surGravatar filliatr1999-08-26
* le noyau compile et linkGravatar filliatr1999-08-26
* mach et himsg; typage sans extractionGravatar filliatr1999-08-24
* machine: execute = typage avec universGravatar filliatr1999-08-20
* module Reduction (debut)Gravatar filliatr1999-08-18
* module ClosureGravatar filliatr1999-08-17
* ajout de modulesGravatar filliatr1999-08-17
* liste des changementsGravatar filliatr1999-08-16