| Age | Commit message (Expand) | Author |
|---|---|---|
| 2001-11-08 | Deplacement de l'optim singleton depuis extraction vers mlutil. Autres modifs... | letouzey |
| 2001-11-05 | GROS COMMIT: | barras |
| 2001-11-03 | Creation de Recursive Extarction Module | letouzey |
| 2001-10-31 | multiples bricoles. Cf mon TODO papier | letouzey |
| 2001-10-30 | legeres modifs pretty-print de l'extractions | letouzey |
| 2001-10-29 | Oups: un relicat de fn de cache | letouzey |
| 2001-10-26 | Fin de mise en place de l'option Optimize. Reorganisation du pretty-print. ET... | letouzey |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |