coq - The formal proof system

Age	Commit message (Expand)	Author
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
1999-12-10	debug discharge et inductifs	filliatr
1999-12-09	Ajout des messages d'erreurs de Cases	herbelin
1999-12-09	Bug affichage constructeur	herbelin
1999-12-09	- constantes avec recettes	filliatr
1999-12-09	Discharge (encore bugge)	filliatr
1999-12-08	deplacement de Discharge dans toplevel	filliatr
1999-12-07	link Dhyp et Auto	filliatr
1999-12-07	debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkes	filliatr
1999-12-07	correction bug construct_reference	filliatr
1999-12-06	MAJ	herbelin
1999-12-06	Ajout option spéciale PPC	herbelin
1999-12-06	Bug iterated_binder	herbelin