coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Add AppVeyor infrastructure, launching the test suite under Windows.	Maxime Dénès	2017-07-20
\|
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-07-04
\|\
\| *	Fix libpcre dependency issue under Windows.	Maxime Dénès	2017-06-26
\| \|
\| *	Fix proxy setting issue	Michael Soegtrop	2017-06-26
\| \|
\| *	Fixes bug #5561,#5562 in Windows build system	Michael Soegtrop	2017-06-26
\| \|
* \|	Fix a typo	Jason Gross	2017-05-18
\|/
*	Windows build scripts for 8.6 final.	Maxime Dénès	2016-12-08
\|
*	Fix paths in 32-bit windows build scripts.	Maxime Dénès	2016-12-08
\|
*	Add bat files for 8.6rc1 build.	Maxime Dénès	2016-12-07
\|
*	Add bat files for 8.6beta1 build.	Maxime Dénès	2016-12-07
\|
*	Remove README.win until we come up with new instructions.	Maxime Dénès	2016-11-14
\| \| \| \| \|	The recommended way to install Coq under windows is anyway to use the precompiled installer.
*	Move OSX script.	Maxime Dénès	2016-11-10
\|
*	Add Michael Soegtrop's new script to build windows installer.	Maxime Dénès	2016-11-10