coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
\|\ \
* \ \	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
\|/ / /
\| * \|	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
\|/ / / /
* \| \| \|	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
\| \|/ / \|/\| \|