coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fixing a few typos + some uniformization of writing in doc.	Hugo Herbelin	2015-04-01
*	More clarifications on loadpaths.	Pierre-Marie Pédrot	2015-04-01
*	Documenting "From * Require *" and clearing a bit the loadpath chapter.	Pierre-Marie Pédrot	2015-04-01
*	Separate index for vernacular options.	Maxime Dénès	2015-02-17
*	Fix typos about .vio files (thanks Arthur for spotting them)	Enrico Tassi	2015-02-12
*	Make clearer that "Remove Printing Let" does not influence destructuring let.	Guillaume Melquiond	2015-02-12
*	Prevent Latex from messing with backticks. (Fix for bug #3871)	Guillaume Melquiond	2015-02-10
*	Fix index of reference manual.	Guillaume Melquiond	2015-01-29
*	Remove some "Warning:" from the reference manual.	Guillaume Melquiond	2015-01-29
*	Reference Manual: Documenting new printing of evars and new effect of	Hugo Herbelin	2015-01-24
*	Move explanations about primitive projections to the manual.	Matthieu Sozeau	2015-01-15
*	refman: switch all source files to utf8	Pierre Letouzey	2014-12-09
*	Move 'Arguments: clear implicits' to 2.7.4 (Close 2891)	Enrico Tassi	2014-10-22
*	typo	Enrico Tassi	2014-09-29
*	seems to fix a looping coq-tex (when compiled with camlp4)	Pierre Boutillier	2014-09-18
*	Documenting the [Variant] type definition and the [Nonrecursive Elimination S...	Arnaud Spiwack	2014-09-04
*	sed -i.toto -e 's/Objective Caml/\{\ocaml\}/g' doc/refman/RefMan-*.tex	Pierre Boutillier	2014-09-03
*	Update RefMan with respect to new loadpath management	Pierre Boutillier	2014-09-03
*	"allows to", like "allowing to", is improper	Jason Gross	2014-08-25
*	Documenting old but useful command "Print Tables".	Hugo Herbelin	2014-01-13
*	Documenting the tactic-in-term construction.	Pierre-Marie Pédrot	2013-12-11
*	Silence some warning about references in documentation.	Guillaume Melquiond	2013-12-03
*	First stab at documenting Canonical Structures	Enrico Tassi	2013-11-29
*	Manual fixed w.r.t. STM	gareuselesinge	2013-08-08
*	Documentation of the "Local Definition" command.	ppedrot	2013-03-11
*	Added missing documentation of Set Printing Existential Instances.	herbelin	2013-02-21
*	Improving rendering of ...-separated lists and sequences in reference	herbelin	2012-08-11
*	Documentation of records defined with the keywords Inductive and	aspiwack	2012-04-13
*	Added documentation for "Set Parsing Explicit" + fixed mistakenly	herbelin	2012-01-20
*	Fixed a Not_found bug when declaring in a section some implicit	herbelin	2011-12-18
*	Command Arguments: standardizing format of error messages and American spelling.	herbelin	2011-12-17
*	Documentation of Arguments + implicits	gareuselesinge	2011-12-06
*	This adds two option tables 'Printing Record' and 'Printing Constructor'	herbelin	2011-07-16
*	This option disables the use of the '{\| field := ... \|}' notation	herbelin	2011-07-16
*	@ in index of refman (last request of bug 2494)	pboutill	2011-04-08
*	Fixing bug #2475 (ability to use binders in the syntax of fields was not in doc)	herbelin	2011-04-06
*	Fix formatting issue in refman	glondu	2011-01-12
*	Add "Print Sorted Universes"	glondu	2011-01-11
*	Document DOT output of universe graph	glondu	2010-11-02
*	Added multiple implicit arguments rules per name.	herbelin	2010-10-03
*	Added documentation: "Theorem id x1..xn : T" and "Set Automatic Introduction".	herbelin	2010-06-08
*	Correction in Function documentation	jforest	2010-05-06
*	Applying François Garillot's patch (#2261 in bug tracker) for extended	herbelin	2010-04-22
*	Document Generalizable Variables, and change syntax to	msozeau	2009-11-15
*	Fixed record syntax "{\|x=...; y=...\|}" so that it works with qualified names.	gmelquio	2009-11-04
*	Fixed some typos in the reference manual.	gmelquio	2009-10-29
*	- Fixed various Overfull in documentation.	herbelin	2009-01-27
*	Last changes in type class syntax:	msozeau	2009-01-18
*	- Standardized prefix use of "Local"/"Global" modifiers as decided in	herbelin	2009-01-13
*	Lissage de la gestion des chemins de chargement de fichiers :	herbelin	2008-06-29