coq - The formal proof system

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