aboutsummaryrefslogtreecommitdiff
path: root/.depend
AgeCommit message (Expand)Author
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
2005-05-25Added subtac contrib.coq
2005-05-24majcoq
2005-05-24dp: ajout du prouveur Zenoncoq
2005-05-20majcoq
2005-05-20New command: "Print Ltac qualid" to print user defined tactics.sacerdot
2005-05-19majcoq
2005-05-18majcoq
2005-05-17majcoq
2005-05-17Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux...herbelin
2005-05-15majcoq
2005-04-21majcoq
2005-04-07majcoq
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 20:17:21 +0000