| Age | Commit message (Expand) | Author |
|---|---|---|
| 2002-04-18 | *** empty log message *** | letouzey |
| 2002-04-15 | maj doc extraction dans repertoire contrib/extraction | letouzey |
| 2002-03-15 | un peu de mise a jour de la doc extraction | letouzey |
| 2001-05-22 | maj | letouzey |
| 2001-04-24 | TODO in v.o., test/Makefile moins pire, README avec ref | letouzey |
| 2001-04-23 | Uncurryfy_ast inutile depuis l'eta-expansion dans extraction.ml. | letouzey |
| 2001-04-19 | synchonization des tables d'extraction | filliatr |
| 2001-04-13 | eliminiation des singletons du genre sig + divers | letouzey |
| 2001-04-10 | bug lift dans IsRel de extract_type. Axiomes dans extract_type | letouzey |
| 2001-04-04 | axiomes dans les types | filliatr |
| 2001-04-04 | rollback sur les commandes Extract Constant/Inductive; nettoyage et documenta... | filliatr |
| 2001-04-03 | commandes Extract Constant/Inductive; message d'erreur pour les axiomes | filliatr |
| 2001-04-02 | inductifs vides | filliatr |
| 2001-04-02 | à faire | filliatr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |