aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* 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
* nouveau discharge fait par le noyau; plus de recettes dans les corps des cons...Gravatar filliatr2000-11-06
* Use UTF-8 as default encoding for computing length of strings in prettyGravatar miquel2000-10-19
* Bug dans [prvecti v] quand v est videGravatar herbelin2000-10-11
* Uniformisation AddPath, Print LoadPath, ... en Add Path, Print PathGravatar herbelin2000-09-10
* Le bon type pour list_fold_right_and_leftGravatar herbelin2000-07-01
* fonction list_fold_left_right pas definieGravatar filliatr2000-06-30
* Ajout list_fold_right_and_leftGravatar herbelin2000-06-29
* bug discharge STRUCTURE; FrozenState supprimmes dans les ClosedSection -> .vo...Gravatar filliatr2000-06-21
* portage EAuto et RingGravatar filliatr2000-06-21
* docGravatar herbelin2000-05-31
* Achèvement nettoyage PfeditGravatar herbelin2000-05-05
* Nettoyage de l'interface de PfeditGravatar herbelin2000-05-04
* Ajout du langage de tactiquesGravatar delahaye2000-05-03
* Ajout matrix_transposeGravatar herbelin2000-03-07
* Abstraction de l'implémentation des signatures de Sign en vue intégration d...Gravatar herbelin2000-01-26
* gros commit de tout ce que j'ai fait pendant les vacances :Gravatar filliatr2000-01-21
* modules et coqcGravatar filliatr1999-12-12
* Discharge (encore bugge)Gravatar filliatr1999-12-09
* debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkesGravatar filliatr1999-12-07
* declarations eliminations / debuggae inductifs (debut)Gravatar filliatr1999-12-06
* abstraction type Gmapl.tGravatar filliatr1999-12-05
* modules profile, Coqinit et Coqtop (=main)Gravatar filliatr1999-12-03
* - global_reference traite des variablesGravatar filliatr1999-12-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 06:11:27 +0000