coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[ide] Remove special option `-ideslave`	Emilio Jesus Gallego Arias	2018-05-21
*	[stm] Make toplevels standalone executables.	Emilio Jesus Gallego Arias	2018-05-21
*	Making explicit that errors happen in one of five executation phases.	Hugo Herbelin	2018-05-02
*	Merge PR #6582: Mangle auto-generated names	Maxime Dénès	2018-03-08
\|\
* \	Merge PR #6855: Update headers following #6543.	Maxime Dénès	2018-03-05
\|\ \
* \| \|	Remove 8.5 compatibility support.	Théo Zimmermann	2018-03-02
* \| \|	Remove VOld compatibility flag.	Théo Zimmermann	2018-03-02
\| * \|	Update headers following #6543.	Théo Zimmermann	2018-02-27
* \| \|	Fix #6751 trust_file_cache logic was inverted	Gaëtan Gilbert	2018-02-27
\|/ /
\| *	Implement name mangling option	Jasper Hugunin	2018-02-17
\|/
*	[toplevel] Refactor command line argument handling.	Emilio Jesus Gallego Arias	2018-02-09