coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	[flags] [stm] Reorganize flags.	Emilio Jesus Gallego Arias	2017-12-11
\| \| \| \| \| \| \| \|	We move the main async flags to the STM in preparation for more state encapsulation. There is still more work to do, in particular we should make some of the defaults a parameter instead of a flag.
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
\|
*	[flags] Deprecate is_silent/is_verbose in favor of single flag.	Emilio Jesus Gallego Arias	2017-04-21
\| \| \| \| \| \| \| \| \|	Today, both modes are controlled by a single flag, however this is a bit misleading as is_silent really means "quiet", that is to say `coqc -q` whereas "verbose" is Coq normal operation. We also restore proper behavior of goal printing in coqtop on quiet mode, thanks to @Matafou for the report.
*	[xml] Restore protocol compatibility with 8.6.	Emilio Jesus Gallego Arias	2017-03-21
\| \| \| \| \| \| \|	By default, we serialize messages to the "rich printing representation" as it was done in 8.6, this ways clients don't have to adapt unless they specifically request the new format using option `--xml_format=Ppcmds`
*	[stm] Add common toploop for workers.	Emilio Jesus Gallego Arias	2017-03-21
	This is a small, but convenient refactoring, as it will allow common argument parsing.