coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Nouvelle en-tête	herbelin	2004-07-16
*	Suppression de Rawterm.loc, branchement sur Util.loc	herbelin	2004-07-16
*	updated printing of evar context (may loop ?)	corbinea	2004-06-30
*	Reparation d'une rupture (en presence de types implicites) de l'invariant que...	herbelin	2004-01-29
*	Paramétrisation vis à vis de existential_key	herbelin	2003-09-06
*	Intégration des modifs de la branche mowgli :	herbelin	2002-11-05
*	Deuxième passe sur la localisation des messages d'erreurs sur les evars non ...	herbelin	2002-04-11
*	Amélioration des messages d'erreurs concernant l'inférence des implicites	herbelin	2002-04-10
*	Introduction d'univers frais dans les types implicites engendrés par le pré...	herbelin	2001-11-08
*	Suppression des local_constraints, des ctxtty et du focus.	clrenard	2001-11-06
*	GROS COMMIT:	barras	2001-11-05
*	L'instantiation des evars quand un produit ou une sorte étaient attendus n'�...	herbelin	2001-09-14
*	Préparation du prétypage à la mise en place d'univers algébriques	herbelin	2001-09-09
*	amelioration des messages d'erreurs vis a vis des evars	barras	2001-05-23
*	Bug lift de la contrainte au passage du let (bug rapporte par S. Boulme)	herbelin	2001-05-10
*	deux fois $Id$	filliatr	2001-03-29
*	amelioration de la structure des univers	barras	2001-03-28
*	entetes	filliatr	2001-03-15
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
*	Branchement du mécanisme d'instantiation des Evar en présence de définitio...	herbelin	2000-11-27
*	correction Abstract (et make world passe!)	filliatr	2000-11-02
*	Petit nettoyage de Evarutil et Evarconv	herbelin	2000-10-23
*	Passage à des contextes de vars et de rels pouvant contenir des déclarations	herbelin	2000-07-24
*	Séparation des contraintes de type et de valeur dans pretyping	herbelin	2000-06-29
*	Mise en place d'un choix constr/typed_type en remplacement de certains Cast	herbelin	2000-06-01
*	Reparation bug isevars dans pretyping	herbelin	2000-03-10
*	La partie 'val' de trad_constraints devient un typed_type	herbelin	2000-03-08
*	Renommage mt_con -> empty_con	herbelin	2000-03-07
*	documentation	filliatr	2000-01-28
*	Intégration initiale du Cases	herbelin	1999-12-11
*	modifs pour premiere edition de liens	filliatr	1999-12-02
*	- environment -> safe_environment	filliatr	1999-12-01
*	ocamlweb	filliatr	1999-11-30
*	portage modules Evarconv et Evarutil	filliatr	1999-11-29
*	Versions initiales	herbelin	1999-11-24
*	organisation de trad (entre parsing/ et pretyping/)	filliatr	1999-10-13