coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Merge PR#579: [flags] Deprecate is_silent/is_verbose in favor of single flag.	Maxime Dénès	2017-04-24
\|\
\| *	[flags] Deprecate is_silent/is_verbose in favor of single flag.	Emilio Jesus Gallego Arias	2017-04-21
* \|	[toplevel] Fix printing of parsing errors + corner case.	Emilio Jesus Gallego Arias	2017-04-19
\|/
*	Merge PR#441: Port Toplevel to the Stm API	Maxime Dénès	2017-04-12
\|\
\| *	[toplevel] [stm] cleanup in module open	Emilio Jesus Gallego Arias	2017-04-12
\| *	[vernac] vernacentries.mli cleanup	Emilio Jesus Gallego Arias	2017-04-12
\| *	[stm] Port the toplevel to the STM.	Emilio Jesus Gallego Arias	2017-04-12
* \|	[toplevel] Remove the feedback feeder printing only on exit.	Emilio Jesus Gallego Arias	2017-04-07
\|/
*	[toplevel] Remove exception error printer in favor of feedback printer.	Emilio Jesus Gallego Arias	2017-04-05
*	Merge PR#390: Updates to the Pretty Printing Infrastructure	Maxime Dénès	2017-03-22
\|\
\| *	[pp] Move terminal-specific tagging to the toplevel.	Emilio Jesus Gallego Arias	2017-03-21
\| *	[pp] Remove special tag type and handler from Pp.	Emilio Jesus Gallego Arias	2017-03-21
\| *	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
\| *	[error] Move back fatal_error to toplevel	Emilio Jesus Gallego Arias	2017-03-21
\| *	[pp] Prepare for serialization, remove opaque glue.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[toplevel] Remove unusable option -notop	Emilio Jesus Gallego Arias	2017-03-14
\|/
*	Ltac as a plugin.	Pierre-Marie Pédrot	2017-02-17
*	Fix bug in warnings: -w foo was silent when foo did not exist.	Maxime Dénès	2016-11-14
*	[toplevel] Remove undocumented "just_parsing" flag.	Emilio Jesus Gallego Arias	2016-10-17
*	[toplevel] Remove duplicate beautify flags.	Emilio Jesus Gallego Arias	2016-10-17
*	Removing export of location_table outside of cLexer.	Hugo Herbelin	2016-10-17
*	Merge PR #224 into v8.6	Pierre-Marie Pédrot	2016-10-12
\|\
* \|	Remove the -no-compat-notations flag.	Maxime Dénès	2016-10-06
* \|	Remove the Set Verbose Compat option and turn the warning on by default.	Maxime Dénès	2016-10-06
\| *	[pp] Remove duplicate color logger.	Emilio Jesus Gallego Arias	2016-09-30
\|/
*	-profile-ltac-cutoff alike Show Ltac Profile Cutoff (#5100)	Enrico Tassi	2016-09-29
*	coqc: print debug feedback coming from workers	Enrico Tassi	2016-09-13
*	fix get_host_port error message (#4724)	Enrico Tassi	2016-08-23
*	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-08-16
\|\
\| *	Do not assume the "TERM" environment variable is always set (bug #5007).	Guillaume Melquiond	2016-08-11
* \|	Fix #4793: Coq 8.6 should accept -compat 8.6	Maxime Dénès	2016-07-06
* \|	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
* \|	A new infrastructure for warnings.	Maxime Dénès	2016-06-29
* \|	Moving the typing_flags to the environment.	Pierre-Marie Pédrot	2016-06-18
* \|	--print-version produces machine readable version info	Enrico Tassi	2016-06-16
* \|	Merge remote-tracking branch 'origin/pr/166' into trunk	Enrico Tassi	2016-06-14
\|\ \
* \ \	Merge remote-tracking branch 'origin/pr/182' into trunk	Enrico Tassi	2016-06-14
\|\ \ \
* \ \ \	Merge remote-tracking branch 'origin/pr/173' into trunk	Enrico Tassi	2016-06-14
\|\ \ \ \
* \| \| \| \|	Moving back Ltac profiling to the Ltac folder.	Pierre-Marie Pédrot	2016-06-14
\| * \| \| \|	STM: each proof block can be enabled separately	Enrico Tassi	2016-06-06
\| * \| \| \|	STM: proof block detection made optional + simple test	Enrico Tassi	2016-06-06
* \| \| \| \|	-profileltac -> -profile-ltac, as per @herbelin	Jason Gross	2016-06-05
* \| \| \| \|	LtacProf for Coq trunk	Jason Gross	2016-06-05
\|/ / / /
\| * \| \|	STM delegation policy can be customized	Enrico Tassi	2016-05-31
\| \| \| *	Revert "Rename Lexer -> CLexer."	Pierre-Marie Pédrot	2016-05-31
* \| \| \|	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
\|/ / /
\| * /	coqc: support -o option to specify output file name	Enrico Tassi	2016-05-19
\|/ /
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-09
\|\\|
\| *	Rename Lexer -> CLexer.	Pierre-Marie Pédrot	2016-05-09
* \|	Removing dead code and unused opens.	Pierre-Marie Pédrot	2016-05-08