coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[appveyor] Use OCaml version 4.06.1 in the Windows build.	Emilio Jesus Gallego Arias	2018-06-02
*	[windows] Don't make menhir and int anymore.	Emilio Jesus Gallego Arias	2018-05-16
*	Windows packaging build with Gitlab CI	Maxime Dénès	2018-05-11
*	Fixes issue #7083 / Windows build: Unify build logging to console (for appvey...	Michael Soegtrop	2018-05-03
*	Fixes issue #7081 / Windows build: strip in lablgtk build can fail randomly	Michael Soegtrop	2018-05-03
*	Merge PR #6809: Improve shell scripts	Michael Soegtrop	2018-04-08
\|\
\| *	Improve shell scripts	zapashcanon	2018-04-05
* \|	Fixes issue #7172 (don't include MinGW make in install)	Michael Soegtrop	2018-04-05
\|/
*	Merge PR #6739: Tentative fix for #6520: camlcity.org unresponsive makes AppV...	Maxime Dénès	2018-03-26
\|\
* \|	[win] update bignums to tag V8.8+beta1	Enrico Tassi	2018-03-15
* \|	Hack to make bignum build on windows	Enrico Tassi	2018-03-06
* \|	build: win: turn off build/installation of gnu Make	Enrico Tassi	2018-03-06
* \|	installer: win: put addons in a separate package	Enrico Tassi	2018-03-02
* \|	build: win: detect 404 as HTML files	Enrico Tassi	2018-03-02
* \|	build: win: addon bignums	Enrico Tassi	2018-03-02
* \|	build: win: support for addons	Enrico Tassi	2018-03-02
* \|	Change references to CAMLP4 to CAMLP5 to be more accurate since we no	Jim Fehrle	2018-02-17
\| *	Tentative fix for #6520: camlcity.org unresponsive makes AppVeyor fail.	Théo Zimmermann	2018-02-12
\|/
*	Normalize MacOS installer name.	Théo Zimmermann	2018-01-04
*	Normalize Windows installer names.	Théo Zimmermann	2018-01-04
*	Fix #5998: AppVeyor package building is currently failing	Maxime Dénès	2017-12-27
*	[build] Remove coqmktop in favor of ocamlfind.	Emilio Jesus Gallego Arias	2017-12-10
*	uninstall doc dir, not dev (which is not installed), #6007	Paul Steckler	2017-12-01
*	Put newlines at the end of files.	Gaëtan Gilbert	2017-10-25
*	Merge PR #1023: dev/build/windows/makecoq_mingw.sh: install camlp5's META file	Maxime Dénès	2017-10-03
\|\
* \|	Do not reinstall preinstalled packages under AppVeyor.	Maxime Dénès	2017-09-21
* \|	Print Cygwin setup output rather than logging in to a file.	Maxime Dénès	2017-09-21
* \|	Disable OSX signing for temporary artifacts.	Maxime Dénès	2017-09-11
\| *	dev/build/windows/makecoq_mingw.sh: install camlp5's META file	Enrico Tassi	2017-09-07
\|/
*	Make AppVeyor generate Windows package.	Maxime Dénès	2017-09-05
*	Remove -debug option from Windows build script.	Maxime Dénès	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-09-05
*	Make Travis generate OSX packages.	Maxime Dénès	2017-08-17
*	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
*	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