aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/names.ml
Commit message (Expand)AuthorAge
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 05:56:56 +0000