coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	[ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0	Emilio Jesus Gallego Arias	2018-07-11
\| \| \| \| \| \|	- We update the OCaml version used in the base CI image. - Windows / OSX image building is also updated to use newer OCaml. - We also update Dune to 1.0.0.
*	Fix 'unbound variable' issue on Windows packaging jobs.	Théo Zimmermann	2018-06-27
\|
*	Merge PR #7831: Fix for issue #7707: include Ltac2 and Equations in Windows ↵	Maxime Dénès	2018-06-26
\|\ \| \| \| \| \| \|	build
\| *	Reuse CI info to know which version of plugins to build on Windows.	Théo Zimmermann	2018-06-25
\| \|
\| *	Fix for issue 7707: include Ltac2 and Equations in Windows build	Michael Soegtrop	2018-06-25
\| \| \| \| \| \| \| \|	On the way I also fixed some minor issues with calling MakeCoq_MinGW from cygwin.
* \|	Fix Windows install script following removal of INSTALL.ide and move of ↵	Théo Zimmermann	2018-06-22
\|/ \| \| \|	INSTALL.doc.
*	[appveyor] Use OCaml version 4.06.1 in the Windows build.	Emilio Jesus Gallego Arias	2018-06-02
\| \| \| \| \| \|	We bump Windows builds to 4.06.1, IMHO it makes sense to use the latest OCaml version to build on that platform due to the support status and number of fixes.
*	[windows] Don't make menhir and int anymore.	Emilio Jesus Gallego Arias	2018-05-16
\| \| \| \| \| \| \|	As pointed out by @MSoegtropIMC [here](https://github.com/coq/coq/pull/7522#issuecomment-389478963) there are not needed to build the packages, so not building them will save a couple of minutes.
*	Windows packaging build with Gitlab CI	Maxime Dénès	2018-05-11
\| \| \| \| \| \| \| \|	We use a specific runner on Inria CloudStack. This allows us to have the same build infrastructure setup for signed and unsigned binary packages. The main Coq repository on Gitlab will produce unsigned binaries, using a runner without secret. On my repository, a one-click operation will sign the packages, making this part of the release process smoother.
*	Fixes issue #7083 / Windows build: Unify build logging to console (for ↵	Michael Soegtrop	2018-05-03
\| \| \| \|	appveyor) and files
*	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 ↵	Maxime Dénès	2018-03-26
\|\ \| \| \| \| \| \|	AppVeyor fail.
* \|	[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
\| \| \| \| \| \| \| \|	longer use camlp4.
\| *	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
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	We remove coqmktop in favor of a couple of simple makefile rules using ocamlfind. In order to do that, we introduce a new top-level file that calls the coqtop main entry. This is very convenient in order to use other builds systems such as `ocamlbuild` or `jbuilder`. An additional consideration is that we must perform a side-effect on init depending on whether we have an OCaml toplevel available [byte] or not. We do that by using two different object files, one for the bytecode version other for the native one, but we may want to review our choice. We also perform some smaller cleanups taking profit from ocamlfind.
*	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
\| \| \| \| \| \| \| \| \| \| \| \|	It seems that reinstalling gcc can leave Cygwin in a strange state, where invocations of gcc fail suddenly. I haven't figure out exactly why, but this seems to fix it.
* \|	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
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	The OSX binaries were signed twice with a fake identity, leading to some obscure errors on Travis in some cases. We disable code signing for Travis artifacts. For released packages, a proper signing will be applied manually.
\| *	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
\| \| \| \|	It is no longer accepted by Coq's ./configure.
*	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
\| \| \| \| \|	The packages will be built only for main branches (not pull requests), and are accessible via bintray: https://bintray.com/coq/coq
*	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
\|