aboutsummaryrefslogtreecommitdiff
path: root/lib/util.mli
AgeCommit message (Expand)Author
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-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-30un petit effort de presentation dans les interfacesfilliatr
1999-08-26module Coqastfilliatr
1999-08-24mach et himsg; typage sans extractionfilliatr
1999-08-19mise en place programmation literaire (generation de doc/coq.tex)filliatr
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-01 03:48:05 +0000