| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*... |  herbelin | 2005-12-26 |
| * | Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme... | herbelin | 2005-12-26 |
| * | maj |  coq | 2005-12-25 |
| * | maj | coq | 2005-12-21 |
| * | maj | coq | 2005-12-20 |
| * | maj | coq | 2005-12-17 |
| * | Changement des named_context |  gregoire | 2005-12-02 |
| * | maj | coq | 2005-11-28 |
| * | maj | coq | 2005-11-18 |
| * | maj | coq | 2005-11-17 |
| * | A la demande de Julien Forest |  letouzey | 2005-11-17 |
| * | maj | coq | 2005-11-08 |
| * | maj | coq | 2005-11-07 |
| * | Modifications in the .depend files for the contrib/recdef directory |  bertot | 2005-11-07 |
| * | Adds tools to help in defining new general recursive functions | bertot | 2005-11-07 |
| * | maj | coq | 2005-11-02 |
| * | maj | coq | 2005-10-27 |
| * | maj | coq | 2005-09-09 |
| * | maj | coq | 2005-08-17 |
| * | new congruence |  corbinea | 2005-08-17 |
| * | maj | coq | 2005-08-02 |
| * | maj | coq | 2005-08-02 |
| * | maj | coq | 2005-08-02 |
| * | maj | coq | 2005-07-15 |
| * | Subtac: traitement correct des existentielles et de la récursion. | coq | 2005-07-15 |
| * | reflexive tauto | corbinea | 2005-07-15 |
| * | maj | coq | 2005-07-14 |
| * | maj | coq | 2005-07-13 |
| * | maj | coq | 2005-07-13 |
| * | maj | coq | 2005-06-24 |
| * | maj | coq | 2005-06-15 |
| * | maj | coq | 2005-06-09 |
| * | maj | coq | 2005-06-07 |
| * | maj | coq | 2005-06-05 |
| * | maj | coq | 2005-05-25 |
| * | Added subtac contrib. | coq | 2005-05-25 |
| * | maj | coq | 2005-05-24 |
| * | dp: ajout du prouveur Zenon | coq | 2005-05-24 |
| * | maj | coq | 2005-05-20 |
| * | New command: "Print Ltac qualid" to print user defined tactics. |  sacerdot | 2005-05-20 |
| * | maj | coq | 2005-05-19 |
| * | maj | coq | 2005-05-18 |
| * | maj | coq | 2005-05-17 |
| * | Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux... | herbelin | 2005-05-17 |
| * | maj | coq | 2005-05-15 |
| * | maj | coq | 2005-04-21 |
| * | maj | coq | 2005-04-07 |
| * | maj | coq | 2005-03-24 |
| * | maj | coq | 2005-03-22 |
| * | Ajout de l'axiome du but prouve par la tactique simplifi | coq | 2005-03-22 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |