aboutsummaryrefslogtreecommitdiff
path: root/contrib/xml/cic2acic.ml
AgeCommit message (Expand)Author
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
2004-04-06Fake dependent products in inductive definition types are no longer replacedsacerdot
2004-04-01~keep_sections was now redundant. Got rid of.sacerdot
2004-03-31Fake dependent types in constructors of inductive types are now preserved.sacerdot
2004-03-30syntax error: dandling insacerdot
2004-03-302 choix incorrectsherbelin
2004-03-30Fabrication de l'uri a partir du path utilisateurherbelin
2004-03-25Fix and Cofix blocks with mutually defined functions having the samesacerdot
2004-03-25Comment removed.sacerdot
2004-03-24MAJ Claudio pour v8herbelin
2003-03-12*** empty log message ***barras
2002-12-19Petit netoyage dans libcoq
2002-11-14Réforme de l'interprétation des termes :herbelin
2002-11-05Intégration de la branche mowgliherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 01:48:41 +0000