coq - The formal proof system

Age	Commit message (Expand)	Author
2000-01-13	Nettoyage des fichiers de parsing	herbelin
2000-01-13	Plus d'unfold inutile des Fix dans Simpl	herbelin
2000-01-11	Ajout de Record	herbelin
2000-01-11	Bugs	herbelin
2000-01-11	Ajout '\|' en tete de filtrage	herbelin
2000-01-07	Grammaire pour Grammar et Syntax, avant dans Extend	herbelin
2000-01-07	Traduction constr->rawconstr (avant dans Termast	herbelin
2000-01-07	Restructuration printer et parser	herbelin
2000-01-07	Restructuration diverses	herbelin
2000-01-07	MAJ	herbelin
2000-01-07	Renommage command en constr	herbelin
2000-01-07	Déplacement print_emacs dans Options	herbelin
2000-01-07	Correction pbs liés aux evar	herbelin
2000-01-07	Déplacement non-affichage des coercions dans termast	herbelin
2000-01-07	Restructuration printer et parser	herbelin
2000-01-07	Renommage command en constr	herbelin
1999-12-16	erreurs de syntax :$	filliatr
1999-12-16	bug : import -> export dans Require	filliatr
1999-12-15	message erreur Scheme	herbelin
1999-12-15	Bug lift	herbelin
1999-12-15	Nouveaux types 'constructor' et 'inductive' dans Term;	herbelin
1999-12-15	Les inductifs dans Scheme doivent être des ident d'inductifs	herbelin
1999-12-14	clarification du code	filliatr
1999-12-14	rattrapage exceptions autres que UserError	filliatr
1999-12-14	sauvegarde de la valeur de module_name	filliatr
1999-12-14	bug mk_clenv_from lorsque pas d arguments	filliatr
1999-12-14	pretty-printers pour le debugger	filliatr
1999-12-13	mise a jour de refiner.ml (reports de modifs de la V6.3)	barras
1999-12-13	- états fabriqués avec -silent	filliatr
1999-12-13	- méthode load sur les Hints	filliatr
1999-12-13	chemin compile des fichiers Coq	filliatr
1999-12-13	petite erreur dans Command	filliatr
1999-12-13	documentation	filliatr
1999-12-13	documentation interfaces	filliatr
1999-12-13	fichiers prelude Coq	filliatr
1999-12-13	Poursuite intégration du Cases	herbelin
1999-12-12	Ajout pp pattern et rawterm	herbelin
1999-12-12	mise a jour	filliatr
1999-12-12	modules et coqc	filliatr
1999-12-12	modules	filliatr
1999-12-12	renommage (nom de module invalide)	filliatr
1999-12-11	mise en place des outils	filliatr
1999-12-11	outils (manquent encore les deux filtres)	filliatr
1999-12-11	Intégration initiale du Cases	herbelin
1999-12-11	Quelques fonctions sur les locations des rawconstr	herbelin
1999-12-10	bug: enregistrement de vartab au lieu de csttab	filliatr
1999-12-10	indications pour les developpeurs	filliatr
1999-12-10	- erreurs Pretype	filliatr
1999-12-10	debug reset	filliatr
1999-12-10	Suppression Rel de rawconstr et correction de bugs d'affichage	herbelin