aboutsummaryrefslogtreecommitdiff
path: root/lib/util.ml
AgeCommit message (Expand)Author
1999-11-24Vernacinterp et Vernacentries (partiellement)filliatr
1999-11-24Auto,Dhyp,Elim / Reduction de Evar / declarations eliminationsfilliatr
1999-11-23modules Indrec, Tacentries, Hiddentacfilliatr
1999-11-22module Wcclausenvfilliatr
1999-11-19module Pattern, Wcclausenv (interface) et Tacticalsfilliatr
1999-11-19modules Bij, Gmapl, Stockfilliatr
1999-10-22 - module Redinfo dans library/ pour les constantes d'éliminationfilliatr
1999-10-20 - documentation repertoire proofs/filliatr
1999-10-20modules Evar_refiner et Typing_evfilliatr
1999-10-19module Refinerfilliatr
1999-10-18mise en place module Refinerfilliatr
1999-10-13 - re-introduction d'une evar_map dans unsafe_envfilliatr
1999-09-28module Bstack et Editfilliatr
1999-09-28ajout de divers fonctions dans lib/filliatr
1999-09-09simplifications de codefilliatr
1999-09-09implode codé avec String.concatfilliatr
1999-09-08time stamps dans Systemfilliatr
1999-09-07mise en place commandes minicoqfilliatr
1999-09-06mise en place repertoire test-suite/, toplevel/, parsing/filliatr
1999-09-03modules Libobject et Summary (partiel)filliatr
1999-08-26module Coqastfilliatr
1999-08-24mach et himsg; typage sans extractionfilliatr
1999-08-18module Reduction (fin)filliatr
1999-08-18module Reduction (debut)filliatr
1999-08-17module Closurefilliatr
1999-08-17ajout dyn; divers fonctions utilfilliatr
1999-08-16ancien names decoupe en names + signfilliatr
1999-08-16Initial revisionfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 22:31:47 +0000