coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	modifs pour premiere edition de liens	filliatr	1999-12-02
*	affichage classes et coercions	filliatr	1999-12-02
*	Intégration du Termast et du Retyping de HH, et modifications connexes	herbelin	1999-12-01
*	Ajout des fonctions prpattern et prrawterm	herbelin	1999-12-01
*	Renommage de g_multiple_case en g_cases	herbelin	1999-12-01
*	module Egrammar	filliatr	1999-12-01
*	mise au point Declare et avancee dans Astterm	filliatr	1999-12-01
*	printers	filliatr	1999-12-01
*	- environment -> safe_environment	filliatr	1999-12-01
*	- Typing -> Safe_typing	filliatr	1999-12-01
*	commentaires supprimmés	filliatr	1999-11-29
*	portage Astterm (partiellement)	filliatr	1999-11-29
*	Modification pour faire compiler pretyping.ml qui maintenant compile	herbelin	1999-11-26
*	module Classops; ajout de fonctions dans Declare en consequence	filliatr	1999-11-26
*	module Pretty (partiellement)	filliatr	1999-11-26
*	module Termast	filliatr	1999-11-26
*	module Printer	filliatr	1999-11-26
*	module Esyntax	filliatr	1999-11-26
*	module Extend	filliatr	1999-11-26
*	MAJ pour fusion avec pretyping	herbelin	1999-11-24
*	Version initiale	herbelin	1999-11-24
*	- module Redinfo dans library/ pour les constantes d'élimination	filliatr	1999-10-22
*	- documentation repertoire proofs/	filliatr	1999-10-20
*	organisation de trad (entre parsing/ et pretyping/)	filliatr	1999-10-13
*	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