coq - The formal proof system

Age	Commit message (Collapse)	Author
2017-09-05	Make AppVeyor generate Windows package.	Maxime Dénès

2017-09-05	Remove -debug option from Windows build script.	Maxime Dénès
	It is no longer accepted by Coq's ./configure.
2017-09-05	Get sources of cygwin packages after building the installer.	Maxime Dénès

2017-09-05	Adapt Windows build script to new CoqIDE data installation directory.	Maxime Dénès

2017-09-05	Print more of the Coq build output.	Maxime Dénès

2017-09-05	Print Coq build output.	Maxime Dénès

2017-09-05	In regression test mode, run cygwin setup to install dependencies.	Maxime Dénès

2017-08-17	Make Travis generate OSX packages.	Maxime Dénès
	The packages will be built only for main branches (not pull requests), and are accessible via bintray: https://bintray.com/coq/coq
2017-07-20	Add AppVeyor infrastructure, launching the test suite under Windows.	Maxime Dénès

2017-07-04	Merge branch 'v8.6'	Pierre-Marie Pédrot

2017-06-26	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-05-18	Fix a typo	Jason Gross

2016-12-08	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-07	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-11-14	Remove README.win until we come up with new instructions.	Maxime Dénès
	The recommended way to install Coq under windows is anyway to use the precompiled installer.
2016-11-10	Move OSX script.	Maxime Dénès

2016-11-10	Add Michael Soegtrop's new script to build windows installer.	Maxime Dénès