aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/xml/doubleTypeInference.ml
Commit message (Expand)AuthorAge
* Changement des named_contextGravatar gregoire2005-12-02
* Inductive.{type_of_inductive,type_of_constructor,arities_of_specif} changedGravatar sacerdot2005-01-14
* Partie reduction_of_red_expr de tacred.ml qui dépend de la vm maintenant dan...Gravatar herbelin2005-01-02
* IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).Gravatar sacerdot2004-11-16
* The code used to compare the synthesized and the expected type (if available)Gravatar sacerdot2004-09-08
* premiere reorganisation de l\'unificationGravatar barras2004-09-03
* Nouvelle en-têteGravatar herbelin2004-07-16
* - recent changes to doubleTypeInference.ml (that introduced doubleGravatar sacerdot2004-07-08
* Commit to perform double type inference also on inner types.Gravatar sacerdot2004-07-08
* Licence changed from GPL to Lesser GPL.Gravatar sacerdot2004-06-26
* Copyright notice of files in contrib/xml made uniform.Gravatar sacerdot2004-04-07
* CoRN CProp detection improved: products of "sort" CProp are now recognizedGravatar sacerdot2004-04-07
* Intégration de la branche mowgliGravatar herbelin2002-11-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 08:29:39 +0000