aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/unification.ml
Commit message (Expand)AuthorAge
...
* Abandon unification pattern des evars dans apply: combiné avec leGravatar herbelin2006-09-13
* Correction conflit Meta/Evar dans commit précédent et extension auGravatar herbelin2006-09-12
* Ajout unification pattern dans l'algorithme d'unification desGravatar herbelin2006-09-12
* Standardisation du nom des méthodes de EvdGravatar herbelin2006-04-28
* eradication de Evarutil.w_DefineGravatar barras2005-06-05
* WARNING: unification changed (to fix a bug).Gravatar sacerdot2005-05-24
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20
* ?(mod_delta=true) parameter added to each unification function.Gravatar sacerdot2004-09-27
* 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
* unification encore...Gravatar barras2004-09-08
* deuxieme vague de modifs: evar_defs fonctionnelGravatar barras2004-09-07
* mimick: unify types before making assignationGravatar barras2004-09-06
* bad env in mimick codeGravatar barras2004-09-06
* deplacement de clenv vers pretypingGravatar barras2004-09-03
* premiere reorganisation de l\'unificationGravatar barras2004-09-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 15:41:33 +0000