coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Correction adresse CoRN dans FAQ (suite)	herbelin	2007-01-17
*	Correction adresse CoRN dans FAQ (cf #1317)	herbelin	2007-01-17
*	Doc for Combined Scheme.	msozeau	2006-12-23
*	Correction typo règle réduction du fix chapitre CCI	herbelin	2006-12-08
*	add a comment about Show Existentials and a question about case_eq	jnarboux	2006-12-01
*	Typo + ajout Qcanon.v	herbelin	2006-11-11
*	Add doc on obligation solving commands.	msozeau	2006-11-02
*	MAJ nouvelles théories	herbelin	2006-10-28
*	Documentation de "Set Printing Universes", "Print Universes" (anciennement	herbelin	2006-10-28
*	added doc for declarative language	corbinea	2006-10-26
*	MAJ crédits, fresh; documentation apply in	herbelin	2006-10-26
*	Mise en forme des theories	notin	2006-10-17
*	typo doc + bug legacy field	barras	2006-10-16
*	revision de la semantique de rewrite ... in <clause>. details dans la doc	letouzey	2006-10-05
*	Ajout String	herbelin	2006-10-04
*	Correction bug #1236	notin	2006-10-04
*	Doc injection as	herbelin	2006-10-04
*	separation de RealField	barras	2006-09-28
*	doc du nouveau ring	barras	2006-09-22
*	congruence doc update	corbinea	2006-09-20
*	Ajout eassumption index	herbelin	2006-09-11
*	Updating the doc about Function and co	courtieu	2006-09-07
*	Modification du manuel de référence: le flag evar pour cbv n'existe plus.	notin	2006-09-01
*	MAJ	herbelin	2006-08-28
*	Ajout thèse Cornes	herbelin	2006-08-28
*	MAJ biblio	herbelin	2006-08-24
*	MAJ JMeq sur Type + typos (sur propositions de Pierre Castéran)	herbelin	2006-08-24
*	MAJ biblio	herbelin	2006-08-24
*	+ Changing "in <hyp>" to "in <clause>" (no at, no InValue and no	jforest	2006-08-22
*	MAJ Rectutorial (P. Castéran)	notin	2006-08-16
*	MAJ de la biblio du manuel de référence	notin	2006-07-28
*	MAJ	jforest	2006-07-17
*	Documentation machine virtuelle	herbelin	2006-07-12
*	MAJ doc/refman	notin	2006-07-11
*	Documentation de lazymatch et des extensions de idtac et fail	herbelin	2006-07-11
*	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-07
*	Documentation Whelp	herbelin	2006-07-06
*	Ajout taclevel	herbelin	2006-07-05
*	Documentation Print Ltac qualid; documentation du debugger de ltac.	herbelin	2006-07-05
*	Précisions sur l'Unicode reconnu; typo; ajout Example, Proposition, Corollary.	herbelin	2006-07-05
*	Mise à jour scopes prédéfinis et Tactic Notation pour tacticals	herbelin	2006-07-05
*	Documentation 'external'	herbelin	2006-07-05
*	Doc Print Grammar pattern	herbelin	2006-07-04
*	Documentation or-pattern	herbelin	2006-07-04
*	Documentation or-pattern	herbelin	2006-07-04
*	Ajout cible refman-quick qui teste la compilation sans faire les index, toc e...	herbelin	2006-07-04
*	Typo dans le manuel de référence	notin	2006-07-04
*	Ajout espacement autour des symboles latex a l'attention de 'hevea -nosymb' +...	herbelin	2006-07-04
*	MAJ du manuel de référence	notin	2006-07-04