aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/xml/cic2acic.ml
Commit message (Expand)AuthorAge
* 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
* Fake dependent products in inductive definition types are no longer replacedGravatar sacerdot2004-04-06
* ~keep_sections was now redundant. Got rid of.Gravatar sacerdot2004-04-01
* Fake dependent types in constructors of inductive types are now preserved.Gravatar sacerdot2004-03-31
* syntax error: dandling inGravatar sacerdot2004-03-30
* 2 choix incorrectsGravatar herbelin2004-03-30
* Fabrication de l'uri a partir du path utilisateurGravatar herbelin2004-03-30
* Fix and Cofix blocks with mutually defined functions having the sameGravatar sacerdot2004-03-25
* Comment removed.Gravatar sacerdot2004-03-25
* MAJ Claudio pour v8Gravatar herbelin2004-03-24
* *** empty log message ***Gravatar barras2003-03-12
* Petit netoyage dans libGravatar coq2002-12-19
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Intégration de la branche mowgliGravatar herbelin2002-11-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-03 14:02:35 +0000