coq - The formal proof system

Age	Commit message (Expand)	Author
2006-10-26	MAJ crédits, fresh; documentation apply in	herbelin
2006-10-05	revision de la semantique de rewrite ... in <clause>. details dans la doc	letouzey
2006-10-04	Doc injection as	herbelin
2006-09-28	separation de RealField	barras
2006-09-22	doc du nouveau ring	barras
2006-09-20	congruence doc update	corbinea
2006-09-11	Ajout eassumption index	herbelin
2006-09-07	Updating the doc about Function and co	courtieu
2006-09-01	Modification du manuel de référence: le flag evar pour cbv n'existe plus.	notin
2006-08-22	+ Changing "in <hyp>" to "in <clause>" (no at, no InValue and no	jforest
2006-07-12	Documentation machine virtuelle	herbelin
2006-07-11	MAJ doc/refman	notin
2006-07-07	Documentation Declare Implicit Tactic, Print Canonical Projections, ... + lé...	herbelin
2006-07-07	MAJ du manuel de référence (modules+fixpoints+pose proof)	notin
2006-07-04	Typo dans le manuel de référence	notin
2006-07-04	MAJ du manuel de référence	notin
2006-07-03	MAJ manuel de référence	notin
2006-06-22	updated documentation for my tactics (P. orbineau	corbinea
2006-06-12	Typo in replace doc.	jforest
2006-06-12	Updating documentation of replace and correcting a typo in error message of r...	jforest
2006-06-09	ajout de la doc de classical_right et left	jnarboux
2006-06-07	Changements sur Functional xxx. Plus précis et plus exact.	courtieu
2006-06-06	Ajout de précisions dans la doc de functional scheme et consort +	courtieu
2006-06-05	nouveaux parametres	cpaulin
2006-04-28	Continue l'écriture de la doc de "Function". Pas fini, manque:	courtieu
2006-04-27	Added a short doc for "Function". To be finished.	courtieu
2006-02-23	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin