coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
* \| \|	Adapt debugging doc to configure/Makefile changes.	Théo Zimmermann	2017-08-29
* \| \|	Move debugging 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
* \| \| \| \|	Merge PR #886: Fixing what was presumably a typo in the naming conventions file	Maxime Dénès	2017-07-26
\|\ \ \ \ \ \| \|_\|_\|_\|/ \|/\| \| \| \|
* \| \| \| \|	[api] Remove type equalities from API.	Emilio Jesus Gallego Arias	2017-07-25
\| \| \| \| *	Alternate way of doing timing on ci	Jason Gross	2017-07-21
\| \| \| \| *	Separate make from python script for HoTT	Jason Gross	2017-07-21
\| \| \| \| *	Display timing data travis for various projects	Jason Gross	2017-07-21
* \| \| \| \|	Add AppVeyor infrastructure, launching the test suite under Windows.	Maxime Dénès	2017-07-20
\| \|_\|_\|/ \|/\| \| \|
* \| \| \|	Merge PR #788: [API] Remove `open API` in ml files in favor of `-open API` flag.	Maxime Dénès	2017-07-19
\|\ \ \ \
* \| \| \| \|	[ci] VST is now built with IGNORECOQVERSION=true.	Théo Zimmermann	2017-07-18
\| * \| \| \|	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias	2017-07-17
\|/ / / /