coq - The formal proof system

Age	Commit message (Expand)	Author
2018-03-29	[Sphinx] Move chapter 18 to new infrastructure	Maxime Dénès
2018-03-16	[Sphinx] Add chapter 11	Maxime Dénès
2018-03-09	doc and changes for coercion from prop/type	charguer
2017-09-22	Avoid generated names for html pages of the reference manual (bug #4742).	Guillaume Melquiond
2015-11-07	Fixing documention of Add Printing Coercion.	Hugo Herbelin
2015-02-17	Separate index for vernacular options.	Maxime Dénès
2014-12-09	refman: switch all source files to utf8	Pierre Letouzey
2012-08-11	Improving rendering of ldots in doc (partially done, there are too	herbelin
2010-07-25	Documentation of Set Automatic Coercions Import.	herbelin
2010-06-26	Applying François' patches about Canonical Projections (see #2302 and #2334).	herbelin
2010-06-08	Added documentation: "Theorem id x1..xn : T" and "Set Automatic Introduction".	herbelin
2009-01-13	- Standardized prefix use of "Local"/"Global" modifiers as decided in	herbelin
2008-01-05	Standardisation du format des références croisées vers Figure, Section, Ch...	herbelin
2006-02-23	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin