| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | maj du fichier treesort.ml inclus dans le chapitre extraction |  letouzey | 2003-01-23 |
| * | maj extraction V7.4 | letouzey | 2003-01-23 |
| * | Evitons de dire que Haskell est un dialect ML | letouzey | 2002-05-17 |
| * | maj + examples plus p�dagogiques | letouzey | 2002-04-11 |
| * | correctifs | letouzey | 2002-01-18 |
| * | typo | letouzey | 2002-01-18 |
| * | actualisation pour la V7.2 de la documentation de l'extraction | letouzey | 2002-01-17 |
| * | MAJ V7.1 |  herbelin | 2001-10-16 |
| * | Changement de syntaxe Extract Constant / Extract Inlined Constant | letouzey | 2001-09-19 |
| * | remarques concernant l'extraction |  filliatr | 2001-04-25 |
| * | mise � jour options extraction | filliatr | 2001-04-10 |
| * | mise � jour V7; biblio Correctness | filliatr | 2001-04-09 |
| * | mise a jour V7 | filliatr | 2001-04-06 |
| * | debug maj | letouzey | 2001-04-06 |
| * | ajout chapitre langage de tactiques; suppression chapitre obsoletes | filliatr | 2001-04-05 |
| * | mise a jour V7 de la commande Extraction, et des options de coqtop et coqc | filliatr | 2001-04-03 |
| * | Initial revision | filliatr | 2000-12-12 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |