| Age | Commit message (Expand) | Author |
|---|---|---|
| 2003-12-18 | doc proof with | narboux |
| 2003-12-18 | avancement | clrenard |
| 2003-12-18 | maj V8 | filliatr |
| 2003-12-18 | premiere passe V8 | filliatr |
| 2003-12-18 | encore un peu de tactiques... | filliatr |
| 2003-12-17 | encore un peu de tactiques... | filliatr |
| 2003-12-17 | doc de ltac faite | barras |
| 2003-12-17 | MAJ induction/destruct/simpl | herbelin |
| 2003-12-16 | coqide menus on golas | marche |
| 2003-12-16 | tactiques | filliatr |
| 2003-12-16 | tactiques | filliatr |
| 2003-12-16 | maj Omega | filliatr |
| 2003-12-15 | typographie | marche |
| 2003-12-15 | Relecture v8 | clrenard |
| 2003-12-15 | doc du traducteur + premiere mise a jour du refman | barras |
| 2003-12-14 | debut de mise a jour CIC | mohring |
| 2003-12-14 | *** empty log message *** | mohring |
| 2003-12-14 | Ajout these Bruno | mohring |
| 2003-12-14 | *** empty log message *** | mohring |
| 2003-12-14 | *** empty log message *** | mohring |
| 2003-12-14 | Mise a jour intro | mohring |
| 2003-12-14 | Changer le copyright INRIA 2002--> 2003 | mohring |
| 2003-12-14 | Ajout Pcoq et Proof General | mohring |
| 2003-12-12 | subtree no | marche |
| 2003-12-12 | typo | marche |
| 2003-12-12 | N gras | marche |
| 2003-12-12 | coqide | marche |
| 2003-12-12 | N gras, placement figures | marche |
| 2003-12-11 | Mis-a-jour modules, ajout de Import et Export | coq |
| 2003-12-11 | Une faute de frappe dans Credits | coq |
| 2003-12-10 | presentation, biblio; | marche |
| 2003-12-09 | index commands | marche |
| 2003-12-05 | maj | filliatr |
| 2003-12-05 | utilitaires | filliatr |
| 2003-12-04 | coqide | marche |
| 2003-12-03 | *** empty log message *** | mohring |
| 2003-12-02 | plus de pb avec referencemanual.sh | marche |
| 2003-12-02 | relecture JCF | filliatr |
| 2003-12-02 | *** empty log message *** | filliatr |
| 2003-12-02 | added Firstordre and Congruence | corbinea |
| 2003-12-01 | version et style | marche |
| 2003-12-01 | idtac parle | narboux |
| 2003-11-24 | coqide | marche |
| 2003-11-23 | Suppression %N | herbelin |
| 2003-11-23 | Ajout nouvelles options | herbelin |
| 2003-11-23 | Renommage | herbelin |
| 2003-11-23 | MAJ pour v8 | herbelin |
| 2003-11-23 | Label redondant | herbelin |
| 2003-11-23 | Ajout/renommage | herbelin |
| 2003-11-23 | Relecture | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |