coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-06-08
*	Merge PR#717: [proof] Deprecate "proof mode" API	Maxime Dénès	2017-06-07
\|\
* \|	Remove the Sigma (monotonous state) API.	Maxime Dénès	2017-06-06
* \|	Drop '.' from CErrors.anomaly, insert it in args	Jason Gross	2017-06-02
* \|	Merge PR#696: Trunk+cleanup constr of global	Maxime Dénès	2017-06-01
\|\ \
\| \| *	[proof] Deprecate "proof mode" API	Emilio Jesus Gallego Arias	2017-05-31
* \| \|	Creating a module Nameops.Name extending module Names.Name.	Hugo Herbelin	2017-05-31
\| \|/ \|/\|
\| *	Cleanup: removal of constr_of_global.	Matthieu Sozeau	2017-05-29
\|/
*	[cleanup] Unify all calls to the error function.	Emilio Jesus Gallego Arias	2017-05-27
*	Merge PR#608: Allow Ltac2 as a plugin	Maxime Dénès	2017-05-25
\|\
* \	Merge PR#481: [option] Remove support for non-synchronous options.	Maxime Dénès	2017-05-25
\|\ \
* \ \	Merge branch 'trunk' into located_switch	Emilio Jesus Gallego Arias	2017-05-24
\|\ \ \
\| \| * \|	[option] Remove support for non-synchronous options.	Emilio Jesus Gallego Arias	2017-05-24
\| \|/ /
\| \| *	Removing unused warnings.	Pierre-Marie Pédrot	2017-05-19
\| \| *	Merge branch 'master' into ltac2-hooks	Pierre-Marie Pédrot	2017-05-19
\| \| \|\ \| \| \|/ \| \|/\|
\| * \|	Adapted to EConstr.	Pierre Courtieu	2017-05-05
\| \| *	Allowing to pass arbitrary data in internalization environments.	Pierre-Marie Pédrot	2017-05-03
\| * \|	Adding an even more compact mode for goal display.	Pierre Courtieu	2017-05-03
\| \|/
\| *	Merge PR#531: Fixing bug #5420 and many similar bugs due to the presence of l...	Maxime Dénès	2017-04-28
\| \|\
* \| \|	[location] Make location optional in Loc.located	Emilio Jesus Gallego Arias	2017-04-25
* \| \|	[location] Remove Loc.ghost.	Emilio Jesus Gallego Arias	2017-04-25
* \| \|	[location] Use located in misctypes.	Emilio Jesus Gallego Arias	2017-04-24
\|/ /
* \|	Merge PR#579: [flags] Deprecate is_silent/is_verbose in favor of single flag.	Maxime Dénès	2017-04-24
\|\ \
* \| \|	Remove VernacError	Gaetan Gilbert	2017-04-21
\| * \|	[flags] Deprecate is_silent/is_verbose in favor of single flag.	Emilio Jesus Gallego Arias	2017-04-21
\|/ /
* \|	Merge branch 'v8.6' into trunk	Maxime Dénès	2017-04-15
* \|	Merge PR#441: Port Toplevel to the Stm API	Maxime Dénès	2017-04-12
\|\ \
\| * \|	[flags] Documentation and a minor tweak.	Emilio Jesus Gallego Arias	2017-04-12
\| * \|	[vernac] vernacentries.mli cleanup	Emilio Jesus Gallego Arias	2017-04-12
\| \| *	Removing internal support for accepting "{struct x}" and co in "Theorem with".	Hugo Herbelin	2017-04-09
\| \|/
* \|	Merge branch 'trunk' into pr379	Maxime Dénès	2017-04-04
\|\\|
\| *	Merge PR#511: [stm] Remove some obsolete vernacs/classification.	Maxime Dénès	2017-03-30
\| \|\
* \| \|	Merge branch 'trunk' into pr379	Maxime Dénès	2017-03-24
\| \| *	[stm] Remove some obsolete vernacs/classification.	Emilio Jesus Gallego Arias	2017-03-24
\| \|/ \|/\|
\| *	[nit] Fix a couple incorrect uses of msg_error.	Emilio Jesus Gallego Arias	2017-03-24
\|/
*	[pp] Remove uses of expensive string_of_ppcmds.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] [ide] Minor cleanups in pp code.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
*	Merge PR#412: Remove outdated comment from 2002.	Maxime Dénès	2017-03-14
*	Merge PR#189: Remove tabulation support from pretty-printing.	Maxime Dénès	2017-02-20
*	[stm] Reenable Show Script command.	Emilio Jesus Gallego Arias	2017-02-15
*	[stm] Break stm/toplevel dependency loop.	Emilio Jesus Gallego Arias	2017-02-15