| Commit message (Expand) | Author | Age |
* | show_subgoals dans Pfedit | herbelin | 2003-10-10 |
* | Affichage des buts par Pfedit pour utilisation par les tactiques | herbelin | 2003-10-10 |
* | changement nouvelle syntaxe (pt fixes) | barras | 2003-10-10 |
* | Mise en place d'un couple 'Conjecture/Admitted' pour déclarer un énoncé in... | herbelin | 2003-10-08 |
* | Correction du bug 335 et Export/Require Export dans un module | coq | 2003-10-07 |
* | Compatibilite V7 des noms d'hypotheses | herbelin | 2003-10-07 |
* | pour ocamlweb | letouzey | 2003-10-06 |
* | distinguer interp_cs et interp_setcs | letouzey | 2003-10-06 |
* | Cacher les .v8 | herbelin | 2003-10-03 |
* | Plus de nom commencant par '_' en V8 | herbelin | 2003-10-02 |
* | Ajout 'Close Scope', mise en place de la structure pour un modificateur 'format' | herbelin | 2003-09-30 |
* | oups | letouzey | 2003-09-28 |
* | 2 pbs de plus réglés concernant Setoid Ring: | letouzey | 2003-09-28 |
* | Un peu plus de souplesse dans la globalisation des noms utilises par les tact... | herbelin | 2003-09-26 |
* | Utilisation de noms dans 'Implicit Arguments [...]' | herbelin | 2003-09-23 |
* | Changement de l'afficheur pour que les variables liées aient un nom indépen... | herbelin | 2003-09-23 |
* | Ajout fonctions syntaxe v8 pour contrib MapleMode | herbelin | 2003-09-23 |
* | commit accidentel d'une bidouille | letouzey | 2003-09-22 |
* | traducteur: affiche les commentaires a l'interieur des commandes | barras | 2003-09-22 |
* | Système de renommage des noms de tactiques Ltac | herbelin | 2003-09-22 |
* | suite (et fin) reparation Setoid Ring | letouzey | 2003-09-22 |
* | tentative de rafraichissement de Setoid Ring | letouzey | 2003-09-22 |
* | Passage à la V8 par défaut | herbelin | 2003-09-22 |
* | Changement de la politique de V8only: V8only tout seul signifie | herbelin | 2003-09-21 |
* | Mise en place d'implicites par noms en v8 | herbelin | 2003-09-21 |
* | parsing | herbelin | 2003-09-19 |
* | Indépendance vis à vis de Declare | herbelin | 2003-09-12 |
* | Ajout 'Print Scopes' et 'Bind Scope with classes' | herbelin | 2003-09-12 |
* | Simplification vis a vis de Declare | herbelin | 2003-09-12 |
* | Branchement constant sur Coqlib | herbelin | 2003-09-12 |
* | Ajout construction If primitive dans constr_expr et rawconstr | herbelin | 2003-09-09 |
* | Mise en place possibilité de définitions locales dans les paramètres des r... | herbelin | 2003-09-06 |
* | Paramétrisation vis à vis de existential_key | herbelin | 2003-09-06 |
* | Mise en place possibilité de définitions locales dans les paramètres des i... | herbelin | 2003-09-06 |
* | Pour accomoder autant le printer v8 que v7 | herbelin | 2003-09-06 |
* | Protection contre les types sans corps associé | herbelin | 2003-09-06 |
* | bug dans calcul nb d'occurrences | letouzey | 2003-09-05 |
* | correction d'un stack overflow possible (PR#320) | letouzey | 2003-08-28 |
* | Traducteur de correctness | herbelin | 2003-08-14 |
* | code mort | herbelin | 2003-08-14 |
* | Traduction mlnames | herbelin | 2003-08-14 |
* | Notation access au dessous du niveau applicatif (2eme) | herbelin | 2003-08-14 |
* | Notation access au dessous du niveau applicatif | herbelin | 2003-08-13 |
* | Nouvelle mouture du traducteur v7->v8 | herbelin | 2003-08-11 |
* | Ground bugfix | corbinea | 2003-07-11 |
* | bug typage du cases/identity: optim off si inductif avec vars | letouzey | 2003-07-10 |
* | renommage des modules 1er niveau en monolithique | letouzey | 2003-07-10 |
* | Ground update | corbinea | 2003-07-08 |
* | bug match match | letouzey | 2003-07-08 |
* | Ground bugfix | corbinea | 2003-07-04 |