aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* compat ocaml 3.03Gravatar filliatr2001-12-13
* nouvel algo de conversion plus uniformeGravatar barras2001-11-29
* Nouvelle fonctionGravatar herbelin2001-10-17
* Suppression option immediate_discharge; nettoyage de Declare et conséquencesGravatar herbelin2001-10-11
* TransparentGravatar barras2001-09-20
* On ignore les répertoires invisibles dans all_subdirsGravatar herbelin2001-09-20
* BugGravatar herbelin2001-08-10
* Prise en compte des strings et des flottants dans les statistiques de tailles...Gravatar herbelin2001-08-10
* ParsingGravatar herbelin2001-08-10
* Nouveau profiler compatible avec ocaml >= 3.01Gravatar herbelin2001-08-05
* MAJ vis à vis de ocaml 3.01Gravatar herbelin2001-08-01
* option -qualityGravatar filliatr2001-05-28
* nettoyage extractionGravatar filliatr2001-05-09
* quelques bug reports mineursGravatar barras2001-05-07
* Changement de la structure des points fixesGravatar barras2001-05-03
* *** empty log message ***Gravatar courant2001-04-19
* array_fold_left_iGravatar filliatr2001-04-05
* utilisation de Options.if_verboseGravatar filliatr2001-04-03
* amelioration de la consommation memoire de la conversion en eta-expansantGravatar barras2001-03-23
* entetesGravatar filliatr2001-03-15
* passage ocaml 3.01Gravatar filliatr2001-03-13
* Ajout list_map3Gravatar herbelin2001-03-12
* protection contre certaines exceptions levees par marshal_{in,out}Gravatar barras2001-03-09
* EAutod (debug)Gravatar filliatr2001-03-06
* module Explore générique et réécriture EAuto avec ce module; occur check ...Gravatar filliatr2001-03-05
* export open_trapping_failure pour contrib/extractionGravatar filliatr2001-02-26
* Mise en place d'un système optionnel de discharge immédiat; prise en compte...Gravatar herbelin2001-02-14
* RestructurationGravatar herbelin2001-02-14
* option -m (utilisation memoire)Gravatar filliatr2001-02-09
* simplification du make depend; fonctions de stat. util. memoire dans certains...Gravatar filliatr2001-02-08
* calcul des dependances camlp4 et production directe ml4 -> cmo (avec Judicael)Gravatar filliatr2001-02-05
* Retire le warning statGravatar mohring2001-02-02
* Ajout d'espace dans les règles d'affichage des infix si des lettres figurent...Gravatar herbelin2001-01-31
* Ajout flush, diversGravatar herbelin2001-01-24
* Protection contre l'échec de Unix.statGravatar herbelin2001-01-24
* Bugs encoreGravatar herbelin2001-01-19
* RaffinementsGravatar herbelin2001-01-15
* Petit bug encoreGravatar herbelin2001-01-14
* Bien sûr: bugs sur précédent commit; améliorationsGravatar herbelin2001-01-14
* Prise en compte de l'allocation mémoire et affichage des résultats net du s...Gravatar herbelin2001-01-14
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Retrait list_except_assoc qui existe en standard dans ocaml (remove_assoc)Gravatar herbelin2000-12-06
* load_path_entry structure simplified; field relative_subdir renamed to coq_dirpaGravatar sacerdot2000-11-29
* Code mortGravatar herbelin2000-11-29
* Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...Gravatar herbelin2000-11-29
* Hack pour contourner CVS en local dans la recherche rcursive de load_pathGravatar herbelin2000-11-28
* Prise en compte du repertoire dans le section path; utilisation de dirpath po...Gravatar herbelin2000-11-28
* Changed the semantics of AddRecPath.Gravatar sacerdot2000-11-15
* all_subdirs teste si son argument est un repertoire; sinon ne fait rienGravatar filliatr2000-11-09
* nouveau load pathGravatar filliatr2000-11-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 21:21:45 +0000