coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
\|/ / / /
* \| \| \|	Merge PR #878: Prepare De Bruijn universe abstractions, Episode II: Upper layers	Maxime Dénès	2017-07-17
\|\ \ \ \
* \ \ \ \	Merge PR #881: Adapting base_include to 91df40272 (body_of_constant_body move...	Maxime Dénès	2017-07-17
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #879: Adding debug printers related to universes	Maxime Dénès	2017-07-17
\|\ \ \ \ \ \
\| \| \| \| * \| \|	Fixing what was presumably a typo in the naming conventions file.	Hugo Herbelin	2017-07-16
\| \| * \| \| \| \|	Adapting to 91df40272 (body_of_constant_body moved to global).	Hugo Herbelin	2017-07-16
\| \| \| \|/ / / \| \| \|/\| \| \|
\| * / \| \| \|	Adding debug printers related to universes in the default debugger source file.	Pierre-Marie Pédrot	2017-07-14
\| \|/ / / /
\| \| * \| \|	Fix a typo in dev/changes.	Pierre-Marie Pédrot	2017-07-14
\| \| * \| \|	Document the changes in API brought by this series of patches.	Pierre-Marie Pédrot	2017-07-14
\| \|/ / /
* / / /	Adding econstr printer to "include" file.	Hugo Herbelin	2017-07-12
\|/ / /
* \| \|	Merge PR #858: [travis] Remove CompCert version check hack.	Maxime Dénès	2017-07-11
\|\ \ \
\| * \| \|	[travis] Remove CompCert version check hack.	Emilio Jesus Gallego Arias	2017-07-05
\| \| * \|	Makefile: fails if some .vo or .cm* file has no source	Pierre Letouzey	2017-07-05
* \| \| \|	Revert fiat-crypto overlay	Jason Gross	2017-07-04
\|/ / /
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-07-04
\|\ \ \
* \| \| \|	Bump year in headers.	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
* \| \|	Add missing definition and fix #use include;; as suggested by @amintimany.	Théo Zimmermann	2017-06-22
* \| \|	Merge PR#774: [ide] Add route_id parameter to query call.	Maxime Dénès	2017-06-20
\|\ \ \
* \ \ \	Merge PR#779: Each user overlay goes into its own file.	Maxime Dénès	2017-06-20
\|\ \ \ \
\| \| * \| \|	[ide] Add route_id parameter to query call.	Emilio Jesus Gallego Arias	2017-06-18
\| \| \| * \|	Remove -j ${NJOBS} from make invocations in the ci	Jason Gross	2017-06-16
\| \| \| * \|	Fix ci-fiat-crypto to have a proper lite target	Jason Gross	2017-06-16
\| * \| \| \|	Each user overlay goes into its own file.	Théo Zimmermann	2017-06-16
* \| \| \| \|	Fix a bug in cumulativity	Amin Timany	2017-06-16
* \| \| \| \|	A short cleanup	Amin Timany	2017-06-16
* \| \| \| \|	Clean up universes of constants and inductives	Amin Timany	2017-06-16
* \| \| \| \|	Squashed commit of the following:	Amin Timany	2017-06-16
\| \|/ / / \|/\| \| \|
* \| \| \|	Merge PR#778: Revert "[travis] temporary UniMath overlay"	Maxime Dénès	2017-06-15
\|\ \ \ \
* \| \| \| \|	fix dev/base_include (thanks Zimmi48)	Pierre Letouzey	2017-06-15
\| \| \| \| *	Update fiat-parsers overlay	Jason Gross	2017-06-15
\| \|_\|_\|/ \|/\| \| \|