coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Making explicit that errors happen in one of five executation phases.	Hugo Herbelin	2018-05-02
\| \| \| \| \| \| \| \| \| \|	The five phases are command line interpretation, initialization, prelude loading, rcfile loading, and sentence interpretation (only the two latters are located). We then parameterize the feedback handler with the given execution phase, so as to possibly annotate the message with information pertaining to the phase.
*	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.