| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | maj |  filliatr | 2004-06-30 |
| * | updated printing of evar context (may loop ?) |  corbinea | 2004-06-30 |
| * | instantiate entry: constr -> lconstr | corbinea | 2004-06-30 |
| * | maj | filliatr | 2004-06-29 |
| * | maj | filliatr | 2004-06-29 |
| * | Essai de suppression de eta dans simpl (cf bug #779) |  herbelin | 2004-06-29 |
| * | moved instantiate binding to extratactics | corbinea | 2004-06-29 |
| * | License de contrib/interface | herbelin | 2004-06-29 |
| * | efficacite du lexeur | filliatr | 2004-06-29 |
| * | maj | filliatr | 2004-06-28 |
| * | maj | filliatr | 2004-06-28 |
| * | contrib/interface *$*$@! | corbinea | 2004-06-28 |
| * | more evar stuff | corbinea | 2004-06-28 |
| * | Ajout de la coercion id dans context vers evaluable constant (bug #777) | herbelin | 2004-06-28 |
| * | Correction bug #776 | herbelin | 2004-06-28 |
| * | Double bug d'affichage des cases dépendants (bug #784) | herbelin | 2004-06-28 |
| * | Modules et Records: gros changements pour prendre en compte le nouveau mind_r... |  letouzey | 2004-06-28 |
| * | maj | filliatr | 2004-06-27 |
| * | maj | filliatr | 2004-06-27 |
| * | Typo (bug #797) | herbelin | 2004-06-27 |
| * | Correction affichage v8 des records avec let (bug #798) | herbelin | 2004-06-27 |
| * | Licence changed from GPL to Lesser GPL. |  sacerdot | 2004-06-26 |
| * | effective evar refining | corbinea | 2004-06-26 |
| * | maj | filliatr | 2004-06-25 |
| * | eq and eqT are the same |  barras | 2004-06-25 |
| * | simplified proof (eq and eqT are now the same) | barras | 2004-06-25 |
| * | correspondance des records et noms de champs de records entre un module et sa... | letouzey | 2004-06-25 |
| * | maj | filliatr | 2004-06-24 |
| * | maj | filliatr | 2004-06-23 |
| * | maj | filliatr | 2004-06-22 |
| * | maj | filliatr | 2004-06-21 |
| * | maj | filliatr | 2004-06-20 |
| * | maj | filliatr | 2004-06-18 |
| * | maj | filliatr | 2004-06-17 |
| * | Nouvelle syntaxe à la ML pour donner le type ML des extensions d'arguments | herbelin | 2004-06-17 |
| * | maj | filliatr | 2004-06-16 |
| * | maj | filliatr | 2004-06-15 |
| * | maj | filliatr | 2004-06-14 |
| * | maj | filliatr | 2004-06-13 |
| * | maj | filliatr | 2004-06-11 |
| * | maj | filliatr | 2004-06-10 |
| * | maj | filliatr | 2004-06-09 |
| * | maj | filliatr | 2004-06-08 |
| * | maj | filliatr | 2004-06-07 |
| * | maj | filliatr | 2004-06-06 |
| * | maj | filliatr | 2004-06-04 |
| * | maj | filliatr | 2004-06-03 |
| * | Affichage de l'opacité par About mais pas par Print (compatibilité coq'art) | herbelin | 2004-06-03 |
| * | maj | filliatr | 2004-06-02 |
| * | maj | filliatr | 2004-06-02 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |