aboutsummaryrefslogtreecommitdiff
path: root/contrib/xml/doubleTypeInference.ml
AgeCommit message (Expand)Author
2009-03-20Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...letouzey
2009-02-06pushed evar reduction in kernelbarras
2007-08-27Suppression des type_app et body_of_type qui alourdissent inutilement le codeherbelin
2007-06-21Correction de plusieurs bugs de l'export XML (utilisation d'un type deherbelin
2006-10-28Extension du polymorphisme de sorte au cas des définitions dans Type.herbelin
2006-04-28Standardisation du nom des méthodes de Evdherbelin
2006-01-11Restructuration et simplification des fonctions d'affichage, de détypageherbelin
2005-12-02Changement des named_contextgregoire
2005-01-14Inductive.{type_of_inductive,type_of_constructor,arities_of_specif} changedsacerdot
2005-01-02Partie reduction_of_red_expr de tacred.ml qui dépend de la vm maintenant dan...herbelin
2004-11-16IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).sacerdot
2004-09-08The code used to compare the synthesized and the expected type (if available)sacerdot
2004-09-03premiere reorganisation de l\'unificationbarras
2004-07-16Nouvelle en-têteherbelin
2004-07-08- recent changes to doubleTypeInference.ml (that introduced doublesacerdot
2004-07-08Commit to perform double type inference also on inner types.sacerdot
2004-06-26Licence changed from GPL to Lesser GPL.sacerdot
2004-04-07Copyright notice of files in contrib/xml made uniform.sacerdot
2004-04-07CoRN CProp detection improved: products of "sort" CProp are now recognizedsacerdot
2002-11-05Intégration de la branche mowgliherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:51:16 +0000