aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/mltop.ml4
Commit message (Expand)AuthorAge
* Correction du bug 335 et Export/Require Export dans un moduleGravatar coq2003-10-07
* Reparation plus juste de l'inefficacite avec loaded_modules (respecte l'ordre)Gravatar herbelin2003-10-04
* Correction bug explosion de la taille de la liste loaded_modulesGravatar herbelin2003-10-03
* *** empty log message ***Gravatar barras2003-03-12
* Chargement dynamique de .cmaGravatar delahaye2003-02-13
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* Meilleure gestion de la reduction dans FieldGravatar delahaye2002-03-17
* compat ocaml 3.03Gravatar filliatr2001-12-13
* OopsGravatar barras2001-11-05
* GROS COMMIT:Gravatar barras2001-11-05
* Abstraction de l'immplementation de dirpath et implementation dans l'autre se...Gravatar herbelin2001-10-17
* Amélioration mise en page Print ML Module et Print ML ModuleGravatar herbelin2001-10-17
* On ignore les répertoires qui ne correspondent pas à des identsGravatar herbelin2001-09-20
* Protection hd d'une liste videGravatar herbelin2001-09-19
* ParsingGravatar herbelin2001-08-10
* amelioration des messages d'erreurs vis a vis des evarsGravatar barras2001-05-23
* utilisation de Options.if_verboseGravatar filliatr2001-04-03
* entetesGravatar filliatr2001-03-15
* Centralisation des add_path dans Mltop a cause de la dependance en add_ml_dirGravatar herbelin2001-02-07
* load_path_entry structure simplified; field relative_subdir renamed to coq_di...Gravatar sacerdot2000-11-29
* Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...Gravatar herbelin2000-11-29
* certains effets disparaissent a la sortie des sections, d'autres non (selon S...Gravatar filliatr2000-11-24
* - coqc: utilise le meilleur coq possibleGravatar filliatr2000-11-24
* methode exportGravatar filliatr2000-11-15
* nouveau load pathGravatar filliatr2000-11-08
* g_natsyntax et g_zsyntax maintenant toujours linkesGravatar filliatr2000-10-27
* modulesGravatar filliatr1999-12-12
* premier debugageGravatar filliatr1999-12-05
* compilation nativeGravatar filliatr1999-12-03