coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #6855: Update headers following #6543.	Maxime Dénès	2018-03-05
\|\
\| *	Update headers following #6543.	Théo Zimmermann	2018-02-27
* \|	Use relative path for show_latex_messages	mrmr1993	2018-02-27
* \|	Use MYCAMLP5LIB instead of undefined MYCAMLP4LIB	mrmr1993	2018-02-27
\|/
*	[API] remove large file containing duplicate interfaces	Enrico Tassi	2017-12-27
*	Removing the FAQ, which has been moved to the GitHub wiki for this	Matt Quinn	2017-12-18
*	Remove some unused parts of the reference manual.	Guillaume Melquiond	2017-09-22
*	Merge PR #979: Fix install-doc target and other gitlab failures	Maxime Dénès	2017-09-15
\|\
\| *	Fix install-doc target	Gaëtan Gilbert	2017-08-31
* \|	[general] Merge parsing with highparsing, put toplevel at the top of the link...	Emilio Jesus Gallego Arias	2017-08-29
\|/
*	Port ssr manual to Coq's latex/hevea style	Enrico Tassi	2017-08-02
*	Makefile.doc: implement serve-refman-8080 target	Enrico Tassi	2017-08-02
*	Put all plugins behind an "API".	Matej Kosik	2017-06-07
*	Gitlab CI	Gaëtan Gilbert	2017-05-28
*	Farewell decl_mode	Enrico Tassi	2017-03-07
*	Avoid concurrent runs when producing html documentation (bug #5269).	Guillaume Melquiond	2016-12-19
*	Merge remote-tracking branch 'gforge/v8.5' into v8.6	Matthieu Sozeau	2016-10-21
\|\
\| *	Change the order of arguments of fig2dev.	Théo Zimmermann	2016-10-19
* \|	Makefile.doc: fix 'make doc'	Pierre Letouzey	2016-06-23
* \|	Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}	Pierre Letouzey	2016-06-08
\|/
*	Remove generatable documentation files from repository. (Fix bug #4315)	Guillaume Melquiond	2015-08-17
*	Separate index for vernacular options.	Maxime Dénès	2015-02-17
*	Run coqdoc on the .v files from the plugins directory. (Fix for bug #2195)	Guillaume Melquiond	2015-02-10
*	Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentat...	notin	2014-12-09
*	doc: version number in cover.html + updates in coq.inria.fr style	Pierre Letouzey	2014-11-07
*	Install index_urls.txt in a location where coqide might actually find it.	Guillaume Melquiond	2014-10-24
*	Fix generation of the index_urls.txt file.	Guillaume Melquiond	2014-10-24
*	configure: get rid of the -src option and of ${COQSRC}	letouzey	2012-08-23
*	Improved synchronisation of stdlib index page with current library state.	herbelin	2012-02-01
*	Makefile.doc: attempt to solve race condition for creating doc/refman/html.	herbelin	2012-01-03
*	Bug 2669 and more: make full-stdlib	pboutill	2011-12-27
*	Force dependency of Reference-Manual.pdf over Reference-Manual.dvi	herbelin	2011-10-05
*	Makefile.doc: typo, index_url.txt should be index_urls.txt	letouzey	2011-09-19
*	Various fixes in the Makefiles	letouzey	2011-09-17
*	Add "make full-stdlib" to make all the doc in pdf as ask by bug 2395	pboutill	2011-04-08
*	Added doc/refman/coqide.eps and coqide-queries.eps to remove the need for png...	emakarov	2010-09-06
*	Small improvements around coqdoc (including fix for bug #2288)	herbelin	2010-03-30
*	Fix the stdlib doc compilation + switch all .v file to utf8	letouzey	2009-09-28
*	- Tentatively made order-dependency wrt .vo files a full dependency	herbelin	2009-09-15
*	install-doc* are PHONY	lmamane	2009-08-25
*	Tried to make F1 documentation tool working in CoqIDE.	herbelin	2009-08-14
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20
*	Makefile: fix ignored errors, several attempts to clarify things	letouzey	2009-03-16
*	Modification du style du manuel de référence	notin	2009-02-11
*	A few fixes for bug #2032 (backport r11857)	glondu	2009-02-11
*	More portable way to pipe stderr	glondu	2009-01-30
*	Solves some warning and hides some not-bad ones in doc. It remains a	herbelin	2009-01-29
*	- Fixed various Overfull in documentation.	herbelin	2009-01-27
*	Backporting from v8.2 to trunk:	herbelin	2009-01-18
*	Minor doc fixes:	msozeau	2009-01-08