coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
\|\ \ \ \
* \ \ \ \	Merge PR #914: Making the detyper lazy	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
\| * \|	Remove unused Makefiles in dev/tools/	Gaëtan Gilbert	2017-08-01
\|/ /
\| *	Have coq-dpdgraph ci test print the differences	Jason Gross	2017-08-01
\|/
*	Merge PR #775: [toplevel] Remove long ago deprecated and NOOP options.	Maxime Dénès	2017-08-01
\|\
* \	Merge PR #761: deprecate Pp.std_ppcmds type and promote Pp.t instead	Maxime Dénès	2017-07-31
\|\ \
* \ \	Merge PR #746: Timing on ci via coq_makefile for various projects	Maxime Dénès	2017-07-31
\|\ \ \
* \ \ \	Merge PR #923: [api] Fix base_include LTAC parts.	Maxime Dénès	2017-07-28
\|\ \ \ \
* \ \ \ \	Merge PR #782: Update API for fiat	Maxime Dénès	2017-07-28
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #852: Makefile: fails if some .vo or .cm* file has no source	Maxime Dénès	2017-07-28
\|\ \ \ \ \ \
\| \| \| \| \| \| *	[toplevel] Remove long ago deprecated and NOOP options.	Emilio Jesus Gallego Arias	2017-07-27
\| \|_\|_\|_\|_\|/ \|/\| \| \| \| \|
\| \| \| * \| \|	[api] Fix base_include LTAC parts.	Emilio Jesus Gallego Arias	2017-07-27
\| \|_\|/ / / \|/\| \| \| \|
\| \| \| \| *	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27