aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/util.ml
Commit message (Expand)AuthorAge
* 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
* Ajout d'espace dans les règles d'affichage des infix si des lettres figurent...Gravatar herbelin2001-01-31
* Retrait list_except_assoc qui existe en standard dans ocaml (remove_assoc)Gravatar herbelin2000-12-06
* Code mortGravatar herbelin2000-11-29
* Prise en compte du repertoire dans le section path; utilisation de dirpath po...Gravatar herbelin2000-11-28
* Bug dans [prvecti v] quand v est videGravatar herbelin2000-10-11
* Ajout list_fold_right_and_leftGravatar herbelin2000-06-29
* portage EAuto et RingGravatar filliatr2000-06-21
* Ajout du langage de tactiquesGravatar delahaye2000-05-03
* Ajout matrix_transposeGravatar herbelin2000-03-07
* gros commit de tout ce que j'ai fait pendant les vacances :Gravatar filliatr2000-01-21
* debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkesGravatar filliatr1999-12-07
* declarations eliminations / debuggae inductifs (debut)Gravatar filliatr1999-12-06
* - global_reference traite des variablesGravatar filliatr1999-12-03
* modifs pour premiere edition de liensGravatar filliatr1999-12-02
* poursuite de VernacentriesGravatar filliatr1999-12-01
* prvectiGravatar filliatr1999-11-26
* module TermastGravatar filliatr1999-11-26
* Vernacinterp et Vernacentries (partiellement)Gravatar filliatr1999-11-24
* Auto,Dhyp,Elim / Reduction de Evar / declarations eliminationsGravatar filliatr1999-11-24
* modules Indrec, Tacentries, HiddentacGravatar filliatr1999-11-23
* module WcclausenvGravatar filliatr1999-11-22
* module Pattern, Wcclausenv (interface) et TacticalsGravatar filliatr1999-11-19
* modules Bij, Gmapl, StockGravatar filliatr1999-11-19
* - module Redinfo dans library/ pour les constantes d'éliminationGravatar filliatr1999-10-22
* - documentation repertoire proofs/Gravatar filliatr1999-10-20
* modules Evar_refiner et Typing_evGravatar filliatr1999-10-20
* module RefinerGravatar filliatr1999-10-19
* mise en place module RefinerGravatar filliatr1999-10-18
* - re-introduction d'une evar_map dans unsafe_envGravatar filliatr1999-10-13
* module Bstack et EditGravatar filliatr1999-09-28
* ajout de divers fonctions dans lib/Gravatar filliatr1999-09-28
* simplifications de codeGravatar filliatr1999-09-09
* implode codé avec String.concatGravatar filliatr1999-09-09
* time stamps dans SystemGravatar filliatr1999-09-08
* mise en place commandes minicoqGravatar filliatr1999-09-07
* mise en place repertoire test-suite/, toplevel/, parsing/Gravatar filliatr1999-09-06
* modules Libobject et Summary (partiel)Gravatar filliatr1999-09-03
* module CoqastGravatar filliatr1999-08-26
* mach et himsg; typage sans extractionGravatar filliatr1999-08-24
* module Reduction (fin)Gravatar filliatr1999-08-18
* module Reduction (debut)Gravatar filliatr1999-08-18
* module ClosureGravatar filliatr1999-08-17
* ajout dyn; divers fonctions utilGravatar filliatr1999-08-17
* ancien names decoupe en names + signGravatar filliatr1999-08-16
* Initial revisionGravatar filliatr1999-08-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-19 08:36:21 +0000