coq - The formal proof system

Age	Commit message (Expand)	Author
2005-01-03	maj	coq
2005-01-03	HUGE COMMIT	sacerdot
2005-01-02	maj	coq
2005-01-02	MAJ	herbelin
2004-12-31	maj	coq
2004-12-29	maj	coq
2004-12-27	maj	coq
2004-12-25	maj	coq
2004-12-24	Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...	herbelin
2004-12-09	maj	coq
2004-12-07	maj	coq
2004-11-16	Names.substitution (and related functions) and Term.subst_mps moved to	sacerdot
2004-10-20	maj	filliatr
2004-10-20	COMMITED BYTECODE COMPILER	barras
2004-10-18	maj	filliatr
2004-10-17	maj	filliatr
2004-10-15	maj	filliatr
2004-10-05	maj	filliatr
2004-09-28	maj	filliatr
2004-09-24	maj	filliatr
2004-09-24	New: (temporary) concrete syntax to specify the morphism signature:	sacerdot
2004-09-22	maj	filliatr
2004-09-20	pbs with link order and deps	barras
2004-09-17	maj	filliatr
2004-09-17	restructuration des printers: proofs passe avant parsing	barras
2004-09-17	repaired deps	barras
2004-09-15	maj	filliatr
2004-09-15	hiding the meta_map in evar_defs	barras
2004-09-14	maj	filliatr
2004-09-12	maj	filliatr
2004-09-10	maj	filliatr
2004-09-08	maj	filliatr
2004-09-07	maj	filliatr
2004-09-07	deuxieme vague de modifs: evar_defs fonctionnel	barras
2004-09-06	maj	filliatr
2004-09-03	maj	filliatr
2004-09-03	deplacement de clenv vers pretyping	barras
2004-09-03	premiere reorganisation de l\'unification	barras
2004-08-26	maj	filliatr
2004-07-25	maj	filliatr
2004-07-23	maj	filliatr
2004-07-20	maj	filliatr
2004-07-19	maj	filliatr
2004-07-16	MAJ	herbelin
2004-07-08	maj	filliatr
2004-06-30	maj	filliatr
2004-06-29	maj	filliatr
2004-06-29	moved instantiate binding to extratactics	corbinea
2004-06-28	maj	filliatr
2004-06-28	more evar stuff	corbinea