coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Remove packaging jobs from appveyor	Maxime Dénès	2018-05-11
\| \| \| \| \|	They are now done on Gitlab CI. The test suite on Windows stays on Appveyor.
*	appveyor: build non-experimental tasks first	Enrico Tassi	2018-02-28
\|
*	Re-enable package building and artefact storage.	Maxime Dénès	2017-12-27
\|
*	Fix #5998: AppVeyor package building is currently failing	Maxime Dénès	2017-12-27
\|
*	Remove packaging scripts while waiting for a fix to #5998.	Théo Zimmermann	2017-11-06
\| \| \| \|	This is a temporary commit which should be reverted once the issue is fixed.
*	Make AppVeyor generate Windows package.	Maxime Dénès	2017-09-05
\|
*	fix test-suite/coq-makefile/findlib-package on windows	Enrico Tassi	2017-09-04
\|
*	Avoid reinstalling some Cygwin dependencies on AppVeyor.	Maxime Dénès	2017-09-04
\| \| \| \|	For some reason, OPAM was not happy after we reinstalled curl.
*	Avoid running interactive tests on Windows.	Maxime Dénès	2017-08-29
\| \| \| \| \|	This is a temporary workaround, until we fix the underlying issue which makes coqtop hang on those tests.
*	Install time command under Cygwin (required for timing scripts).	Maxime Dénès	2017-07-21
\|
*	Add AppVeyor infrastructure, launching the test suite under Windows.	Maxime Dénès	2017-07-20