aboutsummaryrefslogtreecommitdiff
path: root/.depend
AgeCommit message (Expand)Author
2006-01-28majcoq
2006-01-24majcoq
2006-01-21majcoq
2006-01-16majcoq
2006-01-16dans la liste des cmo pour dev/printers.cma, manquait proofs/tacexpr.cmoletouzey
2006-01-12majcoq
2006-01-11majcoq
2006-01-11Restructuration et simplification des fonctions d'affichage, de détypageherbelin
2006-01-08majcoq
2006-01-07majcoq
2006-01-04majcoq
2005-12-31majcoq
2005-12-28majcoq
2005-12-27majcoq
2005-12-26majcoq
2005-12-26Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*...herbelin
2005-12-26Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...herbelin
2005-12-25majcoq
2005-12-21majcoq
2005-12-20majcoq
2005-12-17majcoq
2005-12-02Changement des named_contextgregoire
2005-11-28majcoq
2005-11-18majcoq
2005-11-17majcoq
2005-11-17A la demande de Julien Forestletouzey
2005-11-08majcoq
2005-11-07majcoq
2005-11-07Modifications in the .depend files for the contrib/recdef directorybertot
2005-11-07Adds tools to help in defining new general recursive functionsbertot
2005-11-02majcoq
2005-10-27majcoq
2005-09-09majcoq
2005-08-17majcoq
2005-08-17new congruencecorbinea
2005-08-02majcoq
2005-08-02majcoq
2005-08-02majcoq
2005-07-15majcoq
2005-07-15Subtac: traitement correct des existentielles et de la récursion.coq
2005-07-15reflexive tautocorbinea
2005-07-14majcoq
2005-07-13majcoq
2005-07-13majcoq
2005-06-24majcoq
2005-06-15majcoq
2005-06-09majcoq
2005-06-07majcoq
2005-06-05majcoq
2005-05-25majcoq
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 14:37:58 +0000