aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/vconv.ml
Commit message (Expand)AuthorAge
* Correction de deux cas où les types inductifs n'étaient pas comparésGravatar herbelin2006-10-05
* - Ajout d'un cast vm dans la syntaxe : x <: t Gravatar bgregoir2006-07-22
* Nouvelle implantation du polymorphisme de sorte pour les familles inductivesGravatar herbelin2006-05-23
* correction bug 881.Gravatar gregoire2005-12-05
* Changement des named_contextGravatar gregoire2005-12-02
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* Types inductifs parametriquesGravatar mohring2005-11-02
* Uniformisation de destApplication en destAppGravatar herbelin2005-02-12
* Code mortGravatar herbelin2004-11-22
* compatibility with POWERPCGravatar gregoire2004-11-22
* Changement dans les boxed values .Gravatar gregoire2004-11-12
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20