| Age | Commit message (Expand) | Author |
|---|---|---|
| 2001-05-14 | mise en place extraction haskell | filliatr |
| 2001-05-03 | Changement de la structure des points fixes | barras |
| 2001-04-10 | réparation Correctness; options Extraction (changement de syntaxe) | filliatr |
| 2001-04-09 | branchement extraction en standard (pas de Require) | filliatr |
| 2001-04-05 | mise en place de Correctness; vieille syntaxe Extraction viree de g_vernac.ml4 | filliatr |
| 2001-04-03 | commandes Extract Constant/Inductive; message d'erreur pour les axiomes | filliatr |
| 2001-04-03 | utilisation de Options.if_verbose | filliatr |
| 2001-03-30 | extraction modulaire + environnement des Fix corrigé | filliatr |
| 2001-03-28 | changement type_var et signature | filliatr |
| 2001-03-27 | conservation des arguments dans Prop (snif) | filliatr |
| 2001-03-27 | extraction recursive d'un morceau d'environnement | filliatr |
| 2001-03-20 | extraction naive de fix et case | filliatr |
| 2001-03-15 | entetes | filliatr |
| 2001-02-22 | extraction des types et des inductifs | filliatr |
| 2001-02-21 | nouveau design ou le renommage sera fait a posteriori | filliatr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |