coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	report d'une correction de Bruno	filliatr	1999-09-27
*	affichage des erreurs de typage dans minicoq	filliatr	1999-09-10
*	compilation des grammaires (ouf)	filliatr	1999-09-08
*	modules grammaire Coq	filliatr	1999-09-08
*	modules Ast et Pcoq	filliatr	1999-09-08
*	minicoq: pretty-print applications; ambiguite grammaire supprimee; Ind, Const...	filliatr	1999-09-08
*	fichiers camlp4 avec suffix .ml4	filliatr	1999-09-08
*	pretty-print A->B	filliatr	1999-09-07
*	- minicoq : definition inductifs; syntaxe a->b	filliatr	1999-09-07
*	mise en place commandes minicoq	filliatr	1999-09-07
*	(debut) de grammaire minicoq	filliatr	1999-09-07
*	mise en place grammaire minicoq	filliatr	1999-09-07
*	debut d'un lexer	filliatr	1999-09-06