aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/names.ml
Commit message (Expand)AuthorAge
* Déplacement de qualid dans Nametab, hors du noyauGravatar herbelin2001-03-01
* ident au lieu de string pour le nom de base de qualidGravatar herbelin2001-02-16
* Mise en place d'un système optionnel de discharge immédiat; prise en compte...Gravatar herbelin2001-02-14
* Ajout d'espace dans les règles d'affichage des infix si des lettres figurent...Gravatar herbelin2001-01-31
* Ajout alias mutual_inductive_path = section_pathGravatar herbelin2001-01-27
* Alias variable_pathGravatar herbelin2000-12-25
* Le bon choix, c'est finalement identifier = stringGravatar herbelin2000-12-15
* Mise en place d'un module Ident avec test de l'efficacité quand identifier=s...Gravatar herbelin2000-12-15
* Mini-nettoyage noms longsGravatar herbelin2000-12-05
* Ajout d'un test pour vérifier qu'on a affaire à un identGravatar herbelin2000-11-29
* Prise en compte du repertoire dans le section path; utilisation de dirpath po...Gravatar herbelin2000-11-28
* Prise en compte de noms absolus dans la nametabGravatar herbelin2000-11-26
* Affichage des paths avec des '.', print_id -> pr_id, print_sp -> pr_spGravatar herbelin2000-11-23
* Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's...Gravatar herbelin2000-11-22
* Introduction constant_path = section_pathGravatar herbelin2000-11-20
* Bug sur précédent commitGravatar herbelin2000-11-07
* Nettoyage Names suiteGravatar herbelin2000-11-07
* Nettoyage Names et conséquences (dont ajout d'un type dir_path, argument de ...Gravatar herbelin2000-11-06
* bug make_strength repareGravatar filliatr1999-12-03
* modifs pour premiere edition de liensGravatar filliatr1999-12-02
* Intégration du Termast et du Retyping de HH, et modifications connexesGravatar herbelin1999-12-01
* diverses fonctions ajouteesGravatar filliatr1999-12-01
* - un effort sur la doc (ocamlweb)Gravatar filliatr1999-09-19
* modules System, Lib et StatesGravatar filliatr1999-09-10
* les sections ne sont plus stockées à l'envers dans les section pathsGravatar filliatr1999-09-09
* module Reduction (debut)Gravatar filliatr1999-08-18
* generic, term et evdGravatar filliatr1999-08-17
* Initial revisionGravatar filliatr1999-08-16