aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/evd.mli
Commit message (Expand)AuthorAge
...
* Standardisation du nom des méthodes de EvdGravatar herbelin2006-04-28
* - Documentation of the Program tactics.Gravatar msozeau2006-04-07
* changement d'egalite pour le named_context_valGravatar gregoire2005-12-05
* Changement des named_contextGravatar gregoire2005-12-02
* reparations de quelques petits bugs d\'unification + introduction de la notio...Gravatar barras2005-06-07
* Ajout foldGravatar herbelin2005-03-08
* Compatibilité ocamlweb pour cible docGravatar herbelin2005-01-21
* Names.substitution (and related functions) and Term.subst_mps moved toGravatar sacerdot2004-11-16
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20
* restructuration des printers: proofs passe avant parsingGravatar barras2004-09-17
* hiding the meta_map in evar_defsGravatar barras2004-09-15
* inclusion de meta_map dans evar_defsGravatar barras2004-09-12
* premiere reorganisation de l\'unificationGravatar barras2004-09-03
* Nouvelle en-têteGravatar herbelin2004-07-16
* updated printing of evar context (may loop ?)Gravatar corbinea2004-06-30
* Paramétrisation vis à vis de existential_keyGravatar herbelin2003-09-06
* Suppression des local_constraints, des ctxtty et du focus.Gravatar clrenard2001-11-06
* GROS COMMIT:Gravatar barras2001-11-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 23:30:40 +0000