| Commit message (Expand) | Author | Age |
|---|
| * | Hash-consing pour kernel_name |  herbelin | 2002-09-29 |
| * | Pretty-printing preliminaire des modules, commandes |  coq | 2002-08-19 |
| * | Modules dans COQ\!\!\!\! | coq | 2002-08-02 |
| * | reparation de Locate |  barras | 2001-11-29 |
| * | nouvel algo de conversion plus uniforme | barras | 2001-11-29 |
| * | GROS COMMIT: | barras | 2001-11-05 |
| * | Abstraction de l'immplementation de dirpath et implementation dans l'autre se... | herbelin | 2001-10-17 |
| * | Déplacement de global_reference dans Names pour pouvoir lier Nametab à gra... | herbelin | 2001-10-12 |
| * | Suppression des arguments sur les constantes, inductifs et constructeurs | barras | 2001-10-09 |
| * | Transparent | barras | 2001-09-20 |
| * | Romega |  mohring | 2001-09-20 |
| * | Affichage des dir_path vide | herbelin | 2001-09-19 |
| * | Romega/names/Makefile | mohring | 2001-09-18 |
| * | erreur de pretty-print lors de l'affichage de termes avec de Bruijn non lies | barras | 2001-09-04 |
| * | Parsing | herbelin | 2001-08-10 |
| * | Ajout add_prefix/add_suffix | herbelin | 2001-08-01 |
| * | entetes |  filliatr | 2001-03-15 |
| * | Déplacement de qualid dans Nametab, hors du noyau | herbelin | 2001-03-01 |
| * | ident au lieu de string pour le nom de base de qualid | herbelin | 2001-02-16 |
| * | Mise en place d'un système optionnel de discharge immédiat; prise en compte... | herbelin | 2001-02-14 |
| * | Ajout d'espace dans les règles d'affichage des infix si des lettres figurent... | herbelin | 2001-01-31 |
| * | Ajout alias mutual_inductive_path = section_path | herbelin | 2001-01-27 |
| * | Alias variable_path | herbelin | 2000-12-25 |
| * | Le bon choix, c'est finalement identifier = string | herbelin | 2000-12-15 |
| * | Mise en place d'un module Ident avec test de l'efficacité quand identifier=s... | herbelin | 2000-12-15 |
| * | Mini-nettoyage noms longs | herbelin | 2000-12-05 |
| * | Ajout d'un test pour vérifier qu'on a affaire à un ident | herbelin | 2000-11-29 |
| * | Prise en compte du repertoire dans le section path; utilisation de dirpath po... | herbelin | 2000-11-28 |
| * | Prise en compte de noms absolus dans la nametab | herbelin | 2000-11-26 |
| * | Affichage des paths avec des '.', print_id -> pr_id, print_sp -> pr_sp | herbelin | 2000-11-23 |
| * | Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's... | herbelin | 2000-11-22 |
| * | Introduction constant_path = section_path | herbelin | 2000-11-20 |
| * | Bug sur précédent commit | herbelin | 2000-11-07 |
| * | Nettoyage Names suite | herbelin | 2000-11-07 |
| * | Nettoyage Names et conséquences (dont ajout d'un type dir_path, argument de ... | herbelin | 2000-11-06 |
| * | bug make_strength repare | filliatr | 1999-12-03 |
| * | modifs pour premiere edition de liens | filliatr | 1999-12-02 |
| * | Intégration du Termast et du Retyping de HH, et modifications connexes | herbelin | 1999-12-01 |
| * | diverses fonctions ajoutees | filliatr | 1999-12-01 |
| * | - un effort sur la doc (ocamlweb) | filliatr | 1999-09-19 |
| * | modules System, Lib et States | filliatr | 1999-09-10 |
| * | les sections ne sont plus stockées à l'envers dans les section paths | filliatr | 1999-09-09 |
| * | module Reduction (debut) | filliatr | 1999-08-18 |
| * | generic, term et evd | filliatr | 1999-08-17 |
| * | Initial revision | filliatr | 1999-08-16 |
herbelin
coq
barras
mohring
filliatr