coq - The formal proof system

Age	Commit message (Expand)	Author
2006-11-19	Raffinement de l'unification de "apply": mémorisation de certains	herbelin
2006-10-05	Correction d'un bug dans l'unification: lors de l'unification d'un meta m et ...	notin
2006-09-13	Abandon unification pattern des evars dans apply: combiné avec le	herbelin
2006-09-12	Correction conflit Meta/Evar dans commit précédent et extension au	herbelin
2006-09-12	Ajout unification pattern dans l'algorithme d'unification des	herbelin
2006-04-28	Standardisation du nom des méthodes de Evd	herbelin
2005-06-05	eradication de Evarutil.w_Define	barras
2005-05-24	WARNING: unification changed (to fix a bug).	sacerdot
2004-10-20	COMMITED BYTECODE COMPILER	barras
2004-09-27	?(mod_delta=true) parameter added to each unification function.	sacerdot
2004-09-17	restructuration des printers: proofs passe avant parsing	barras
2004-09-15	hiding the meta_map in evar_defs	barras
2004-09-12	inclusion de meta_map dans evar_defs	barras
2004-09-08	unification encore...	barras
2004-09-07	deuxieme vague de modifs: evar_defs fonctionnel	barras
2004-09-06	mimick: unify types before making assignation	barras
2004-09-06	bad env in mimick code	barras
2004-09-03	deplacement de clenv vers pretyping	barras
2004-09-03	premiere reorganisation de l\'unification	barras