aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/library.ml
Commit message (Expand)AuthorAge
* Rustine pour garder la compatibilité avec la 7.1 pour l'ordre des imports sa...Gravatar herbelin2001-12-05
* GROS COMMIT:Gravatar barras2001-11-05
* Abstraction de l'immplementation de dirpath et implementation dans l'autre se...Gravatar herbelin2001-10-17
* One more boolean test bugGravatar herbelin2001-09-24
* Bug test booléenGravatar herbelin2001-09-24
* Nombre magique pour la V7.1Gravatar herbelin2001-09-20
* Pas de warning pour le -I . par défaut de CoqGravatar herbelin2001-09-20
* warning silencieuxGravatar filliatr2001-09-20
* Restriction de l'avertissement add_loadpath au mode verbeuxGravatar herbelin2001-09-20
* Autorisation de surcharge d'un -R par un -IGravatar herbelin2001-09-19
* TypoGravatar herbelin2001-09-19
* Tentative de canonisation des répertoires physiquesGravatar herbelin2001-09-18
* Quelques heuristiques pour gérer des représentations similaires de paths sy...Gravatar herbelin2001-09-18
* Suppression des library roots, on teste si un nom est absolu autrementGravatar herbelin2001-09-07
* ParsingGravatar herbelin2001-08-10
* Backtrack sur le warning Require en Section: trop contraignantGravatar herbelin2001-07-09
* Avertissement contre les Require dans le corps d'une sectionGravatar herbelin2001-07-05
* quelques bug reports mineursGravatar barras2001-05-07
* entetesGravatar filliatr2001-03-15
* protection contre certaines exceptions levees par marshal_{in,out}Gravatar barras2001-03-09
* on gele apres un Require => meilleures performances memoire, en particulier p...Gravatar filliatr2001-03-06
* 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
* simplification du make depend; fonctions de stat. util. memoire dans certains...Gravatar filliatr2001-02-08
* Centralisation des add_path dans Mltop a cause de la dependance en add_ml_dirGravatar herbelin2001-02-07
* Import module force l'ouverture du module même s'il était déjà ouvert afi...Gravatar herbelin2000-12-20
* Réparation de bugs de LoadPathGravatar herbelin2000-12-15
* load_path_entry structure simplified; field relative_subdir renamed to coq_dirpaGravatar sacerdot2000-11-29
* Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...Gravatar herbelin2000-11-29
* Prise en compte du repertoire dans le section path; utilisation de dirpath po...Gravatar herbelin2000-11-28
* load_module / open_module un tantinet plus rapidesGravatar filliatr2000-11-27
* Prise en compte de noms absolus dans la nametabGravatar herbelin2000-11-26
* Ajout objets END-SECTION pour les nametabs + nettoyage lib/nametabGravatar filliatr2000-11-24
* certains effets disparaissent a la sortie des sections, d'autres non (selon S...Gravatar filliatr2000-11-24
* synchronisation RequireGravatar filliatr2000-11-24
* deplacement poly_args; iterateurs sur les segmentsGravatar filliatr2000-11-22
* Open est maintenant géré par NametabGravatar herbelin2000-11-20
* Bugs lies a la confusion load/open et a un open abusivement recursif dans lib...Gravatar herbelin2000-11-10
* nouveau load pathGravatar filliatr2000-11-08
* out_variable (Liboject.obj -> ...) distibgue de get_variableGravatar filliatr2000-11-08
* - simplification Makefile (compilation des fichiers .ml'; pas encore parfaitGravatar filliatr2000-10-31
* Pour le Require Export (temporaire)Gravatar delahaye2000-10-30
* Require Export recursifsGravatar filliatr2000-10-26
* module_segment et module_filenameGravatar filliatr2000-10-23
* Uniformisation AddPath, Print LoadPath, ... en Add Path, Print Path. Abstract...Gravatar herbelin2000-09-10
* gros commit de tout ce que j'ai fait pendant les vacances :Gravatar filliatr2000-01-21
* modulesGravatar filliatr1999-12-12
* - constantes avec recettesGravatar filliatr1999-12-09
* modules Bij, Gmapl, StockGravatar filliatr1999-11-19
* juste l'interface de DischargeGravatar filliatr1999-09-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 16:12:28 +0000