coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Document native "Declare ML Module"	glondu	2008-10-29
*	- Fixed many "Theorem with" bugs.	herbelin	2008-10-27
*	Fix doc of apply in (see coq-club message 26 September 2008)	herbelin	2008-10-24
*	Various coqdoc improvements:	msozeau	2008-10-22
*	Renommage "Global Instance" en "Instance Global" pour uniformisation	herbelin	2008-10-20
*	- Export de pattern_ident vers les ARGUMENT EXTEND and co.	herbelin	2008-10-19
*	report de la révision r11451 (nouveau style html pour le manuel de référence)	notin	2008-10-14
*	Backporting 11445 from 8.2 to trunk (negative conditions in	herbelin	2008-10-11
*	Update stdlib html template	glondu	2008-09-15
*	A pass on documentation:	msozeau	2008-09-14
*	Add user syntax for creating hint databases [Create HintDb foo	msozeau	2008-09-14
*	Mise à jour des fichiers README et INSTALL de la doc (bug #1921) + suppressi...	notin	2008-08-06
*	correction : coqart is already published	jnarboux	2008-08-06
*	Évolutions diverses et variées.	herbelin	2008-08-04
*	Typo in doc	glondu	2008-07-29
*	Fixed doc of inductive sort-polymorphism (cf bug #1908). Seized the	herbelin	2008-07-23
*	- Rebranchement backtrack du langage déclaratif dans Coqide	herbelin	2008-07-18
*	- Suppression de Rstar/Newman peu utilisables comme biblio (encodage	herbelin	2008-07-17
*	update doc Micromega	fbesson	2008-07-13
*	Documentation fixes.	msozeau	2008-07-09
*	Micromega: doc + test-suite update	fbesson	2008-07-07
*	Improved robustness of micromega parser. Proof search of Micromega test-suite...	fbesson	2008-07-02
*	Documentation Prop<=Set et Arguments Scope Global	herbelin	2008-07-01
*	correction sur la doc des modules	soubiran	2008-07-01
*	Lissage de la gestion des chemins de chargement de fichiers :	herbelin	2008-06-29
*	Micromega : bugs fixes - renaming of tactics - documentation	fbesson	2008-06-25
*	Typo in documentation (isn't it?)	glondu	2008-06-25
*	Les contraintes d'univers sont maintenant collectées dans le champs mod_cons...	soubiran	2008-06-25
*	Rename obligations_tactic to obligation_tactic and fix bugs #1893.	msozeau	2008-06-22
*	- Implantation de la suggestion 1873 sur discriminate. Au final,	herbelin	2008-06-21
*	Numéros de version dans la doc	notin	2008-06-13
*	- Officialisation de la notation "pattern c at -1" (cf wish 1798 sur coq-bugs)	herbelin	2008-06-10
*	2-3 petites modifs sur la doc	notin	2008-06-10
*	Fix a typo	glondu	2008-06-09
*	Documentation de "instantiate".	glondu	2008-06-09
*	- Documentation de admit et Print Assumptions.	herbelin	2008-06-09
*	- Extension de "generalize" en "generalize c as id at occs".	herbelin	2008-06-08
*	Second pass on typeclasses documentation, fix html rendering.	msozeau	2008-06-08
*	Fix library index template and associated script.	msozeau	2008-06-07
*	Fix setoid_rewrite documentation examples.	msozeau	2008-06-03
*	Intropattern: syntax {x,y,z,t} becomes (x & y & z & t), as decided in	letouzey	2008-06-01
*	remove additional occurrences of +/- forgotten in commit 11030	letouzey	2008-06-01
*	Bactrack sur +, - dans rewrite qui, redondants avec ->, <-, n'en sont qu'à	herbelin	2008-06-01
*	Notation concise pour la valeur par défaut des cas reconnus comme	herbelin	2008-05-28
*	Fix bashism in doc generation.	glondu	2008-05-26
*	doc of coqchk + improved module cache and computation of module sets	barras	2008-05-23
*	Nouvelle doc pour les modules.	soubiran	2008-05-23
*	Strategy commands are now exported	barras	2008-05-22
*	refined the conversion oracle	barras	2008-05-21
*	MAJ crédits	herbelin	2008-05-19