coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	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
\|/ / \| \| \| \| \| \|	Bug introduced by 675a1dc401eb9a5540ba5bc9a522c1f84d4c3d54
\| *	Implement name mangling option	Jasper Hugunin	2018-02-17
\|/
*	[toplevel] Refactor command line argument handling.	Emilio Jesus Gallego Arias	2018-02-09
	We mostly separate command line argument parsing from interpretation, some (minor) imperative actions are still done at argument parsing time. This tidies up the code quite a bit and allows to better follow the complicated command line handling code. To this effect, we group the key actions to be performed by the toplevel into a new record type. There is still room to improve.