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