coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
* \| \|	Merge branch 'trunk' into located_switch	Emilio Jesus Gallego Arias	2017-05-24
\|\ \ \
\| \| * \|	Document --print-version in Usage	Enrico Tassi	2017-05-23
\| \| * \|	Put the list of Coq sources subdirectories in one place	Enrico Tassi	2017-05-23
\| \| * \|	Usage.print_config moved to Envars	Enrico Tassi	2017-05-23
\| \|/ /
\| * \|	Merge PR#644: [toplevel] [stm] Avoid edit_at in batch mode (bug #5520)	Maxime Dénès	2017-05-20
\| \|\ \
\| * \ \	Merge PR#640: [toplevel] Restore 8.6 goal printing behavior.	Maxime Dénès	2017-05-20
\| \|\ \ \
\| \| \| \| *	[stm] Tweak debug options.	Emilio Jesus Gallego Arias	2017-05-18
\| \| \|_\|/ \| \|/\| \|
\| \| \| *	[toplevel] [stm] Avoid edit_at in batch mode (bug #5520)	Emilio Jesus Gallego Arias	2017-05-18
\| \| \|/ \| \|/\|
\| \| *	[toplevel] Restore 8.6 goal printing behavior.	Emilio Jesus Gallego Arias	2017-05-17
\| * \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-05-17
\| \|\ \ \| \| \|/ \| \|/\|
\| \| *	Removing a variable warned unused.	Hugo Herbelin	2017-05-14
\| \| *	Merge PR#604: FIx bug #5300: Anomaly: Uncaught exception Not_found" in "Print...	Maxime Dénès	2017-05-10
\| \| \|\
\| * \| \	Merge PR#615: coqtop -help: don't die if coqlib can't be found	Maxime Dénès	2017-05-09
\| \|\ \ \
\| * \| \| \|	[toplevel] Fix a couple of logical errors in error printing.	Emilio Jesus Gallego Arias	2017-05-05
\| \| \| * \|	Fix bug #3659: -time should understand multibyte encodings.	Pierre-Marie Pédrot	2017-05-05
\| \| * \| \|	coqtop -help: don't die if coqlib can't be found	Gaetan Gilbert	2017-05-05
\| \|/ / /
\| * \| \|	Adding an option "Printing Unfocused".	Pierre Courtieu	2017-05-04
\| \| \| *	FIx bug #5300: uncaught exception in "Print Assumptions".	Cyprien Mangin	2017-05-03
\| \| \|/
\| * \|	Warning 29: non escaped end of line may be non portable	Gaetan Gilbert	2017-04-27
\| * \|	Remove unused [open] statements	Gaetan Gilbert	2017-04-27
\| * \|	Remove some unused values and types	Gaetan Gilbert	2017-04-27
\| * \|	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27
\| * \|	[toplevel] Remove unused parameter from `Vernac.process_expr`.	Emilio Jesus Gallego Arias	2017-04-25
\| * \|	[toplevel] Use exception information for error printing.	Emilio Jesus Gallego Arias	2017-04-25
* \| \|	[location] Make location optional in Loc.located	Emilio Jesus Gallego Arias	2017-04-25
* \| \|	[location] Remove Loc.ghost.	Emilio Jesus Gallego Arias	2017-04-25
\| * \|	[toplevel] Don't check proofs in -quick mode.	Emilio Jesus Gallego Arias	2017-04-24
\| * \|	[toplevel] Don't mask critical exceptions in vernac interpretation.	Emilio Jesus Gallego Arias	2017-04-24
\|/ /
* \|	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
\|/ /
\| *	Fixing bug #5470 (anomaly on notations with misused "binder" type).	Hugo Herbelin	2017-04-14
\| *	Fixing bug #5469 (notation format not recognizing curly braces).	Hugo Herbelin	2017-04-14
* \|	[toplevel] Don't print goals if there is no pending proof.	Emilio Jesus Gallego Arias	2017-04-13
* \|	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
* \| \|	Merge PR#547: [toplevel] Remove the feedback printer only on exit.	Maxime Dénès	2017-04-10
\|\ \ \
\| \| * \|	[stm] remove process_error_hook	Emilio Jesus Gallego Arias	2017-04-07
\| \|/ / \|/\| \|
* \| \|	Merge PR#461: [camlpX] Remove camlp4 compat layer.	Maxime Dénès	2017-04-07
\|\ \ \
\| \| * \|	[toplevel] Remove the feedback feeder printing only on exit.	Emilio Jesus Gallego Arias	2017-04-07
\| \|/ / \|/\| \|
* \| \|	Fixes for Drop. to work (decl_mode removal and toplevel -> vernac)	Matthieu Sozeau	2017-04-07
\| * \|	[camlpX] Remove camlp4 compat layer.	Emilio Jesus Gallego Arias	2017-04-07
\|/ /
\| *	Fix a few programming pearls related to Time, Fail and Redirect.	Maxime Dénès	2017-04-06
\| *	Merge branch 'origin/v8.5' into v8.6.	Hugo Herbelin	2017-04-06
\| \|\
* \| \|	[toplevel] Remove exception error printer in favor of feedback printer.	Emilio Jesus Gallego Arias	2017-04-05
* \| \|	Merge PR#502: [pp] Add anomaly header to error messages.	Maxime Dénès	2017-04-04
\|\ \ \
\| \| * \|	Instances should obey universe binders even when defined by tactics.	Gaetan Gilbert	2017-04-03
* \| \| \|	[nit] Fix a couple incorrect uses of msg_error.	Emilio Jesus Gallego Arias	2017-03-24