coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...	herbelin	2002-10-13
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	Généralisation des syntaxes ': T := t', ':= t : T', ': T', ':= t' pour	herbelin	2002-07-11
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	compat ocaml 3.03	filliatr	2001-12-13
*	Parsing	herbelin	2001-08-10
*	entetes	filliatr	2001-03-15
*	Bug dans les alias de Cases	herbelin	2000-12-14
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
*	Intégration initiale du Cases	herbelin	1999-12-11
*	Suppression Rel de rawconstr et correction de bugs d'affichage	herbelin	1999-12-10
*	modifs pour premiere edition de liens	filliatr	1999-12-02
*	portage Astterm (partiellement)	filliatr	1999-11-29
*	module Termast	filliatr	1999-11-26
*	modules Ast et Pcoq	filliatr	1999-09-08