coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #1104: Browser userscript to turn BZ#XXXX occurences into links.	Maxime Dénès	2017-10-03
\|\
* \	Merge PR #1023: dev/build/windows/makecoq_mingw.sh: install camlp5's META file	Maxime Dénès	2017-10-03
\|\ \
\| \| *	Browser userscript to turn BZ#XXXX occurences into links.	Gaëtan Gilbert	2017-09-27
\| \|/ \|/\|
* \|	Merge PR #1055: Remove STM vernaculars	Maxime Dénès	2017-09-22
\|\ \
* \ \	Merge PR #1065: In gitlab set TRAVIS_BRANCH so user overlays will work as exp...	Maxime Dénès	2017-09-22
\|\ \ \
* \| \| \|	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
\| * \| \|	In gitlab set TRAVIS_BRANCH so user overlays will work as expected.	Gaëtan Gilbert	2017-09-20
\|/ / /
\| * \|	Improve documentation of Status message.	Maxime Dénès	2017-09-19
* \| \|	Merge PR #1043: Disable OSX signing for temporary artifacts.	Maxime Dénès	2017-09-19
\|\ \ \ \| \|/ / \|/\| \|
* \| \|	Merge PR #979: Fix install-doc target and other gitlab failures	Maxime Dénès	2017-09-15
\|\ \ \
* \ \ \	Merge PR #939: [general] Merge parsing with highparsing, put toplevel at the ...	Maxime Dénès	2017-09-15
\|\ \ \ \
* \ \ \ \	Merge PR #962: Move dev/doc/changes to Markdown.	Maxime Dénès	2017-09-15
\|\ \ \ \ \
\| \| \| * \| \|	Fix GitLab CI	Gaëtan Gilbert	2017-09-13
\| \| \| \| * \|	Disable OSX signing for temporary artifacts.	Maxime Dénès	2017-09-11
* \| \| \| \| \|	Move README.ci and link to it from CONTRIBUTING.	Théo Zimmermann	2017-09-08
\| \|_\|_\|/ / \|/\| \| \| \|
* \| \| \| \|	Merge PR #968: Better error messages on the CI	Maxime Dénès	2017-09-07
\|\ \ \ \ \
\| \| \| \| \| *	dev/build/windows/makecoq_mingw.sh: install camlp5's META file	Enrico Tassi	2017-09-07
* \| \| \| \| \|	Merge PR #914: Making the detyper lazy	Maxime Dénès	2017-09-07
\|\ \ \ \ \ \
\| \| \| \| \| \| *	Trying to properly propagate errors in Windows CI script.	Maxime Dénès	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
* \| \| \| \| \|	Fix Software Foundations build.	Maxime Dénès	2017-09-05
\| \|_\|_\|_\|/ \|/\| \| \| \|
\| * \| \| \|	Making detyping potentially lazy.	Pierre-Marie Pédrot	2017-09-04
\|/ / / /
* \| \| \|	Merge PR #999: For BZ#5688, mention hanging issue in ocamldebug and workaround	Maxime Dénès	2017-08-31
\|\ \ \ \
\| * \| \| \|	mention issue with OCAMLRUNPARAM and ocamldebug	Paul Steckler	2017-08-29
\| \| \| \| *	[general] Merge parsing with highparsing, put toplevel at the top of the link...	Emilio Jesus Gallego Arias	2017-08-29
\| \| \|_\|/ \| \|/\| \|
* \| \| \|	Adapt debugging doc to configure/Makefile changes.	Théo Zimmermann	2017-08-29
* \| \| \|	Move debugging to Markdown.	Théo Zimmermann	2017-08-29
\|/ / /
\| \| *	Move dev/doc/changes to Markdown.	Théo Zimmermann	2017-08-29
\| \|/ \|/\|
* \|	Merge PR #838: Have coq-dpdgraph ci test print the differences	Maxime Dénès	2017-08-29
\|\ \
* \ \	Merge PR #819: Cleanup old things	Maxime Dénès	2017-08-29
\|\ \ \
\| \| \| *	Don't strip the newline, don't use \r	Jason Gross	2017-08-24
\| \| \| *	Swap order of "aggregating..." message and travis_fold	Jason Gross	2017-08-24
\| \| \| *	Only display travis_fold: on travis	Jason Gross	2017-08-24
* \| \| \|	Merge PR #801: Make Travis generate OSX packages.	Maxime Dénès	2017-08-18
\|\ \ \ \
\| * \| \| \|	Make Travis generate OSX packages.	Maxime Dénès	2017-08-17
* \| \| \| \|	Mention tclINDEPENDENTL (#349) in dev/doc/changes.	Théo Zimmermann	2017-08-16
\|/ / / /
\| \| \| *	Move the rest of the ci target to a bash file	Jason Gross	2017-08-15
\| \| \| *	Better error messages on the CI	Jason Gross	2017-08-15
\| \|_\|/ \|/\| \|
\| * \|	Add dev/v8-syntax/check-grammar byproducts to gitignore.	Gaëtan Gilbert	2017-08-01
\| * \|	Remove obsolete files	Gaëtan Gilbert	2017-08-01
\| * \|	Add .v extension to dev/doc/notes-on-conversion	Gaëtan Gilbert	2017-08-01
\| * \|	Remove dev/TODO	Gaëtan Gilbert	2017-08-01
\| * \|	Fix syntax-v8.tex bad parenthesizing	Gaëtan Gilbert	2017-08-01