coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fixing the Shrink Obligations option.	Pierre-Marie Pédrot	2015-09-08
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-09-06
\|\
\| *	Also there's an extra space in the error message.	mlasson	2015-09-03
\| *	Code cleaning in Obligations.	Pierre-Marie Pédrot	2015-08-22
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-08-05
\|\\|
\| *	Reverting 16 last commits, committed mistakenly using the wrong push command.	Hugo Herbelin	2015-08-02
\| *	Give a way to control if the decidable-equality schemes are built like	Hugo Herbelin	2015-08-02
\| *	Removing the generalization of the body of inductive schemes from	Hugo Herbelin	2015-08-02
\| *	For convenience, making yes and on, and no and off synonymous in	Hugo Herbelin	2015-08-02
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-07-29
\|\\|
\| *	Use open_utf8_file_in for opening files in the IDE. (Fix bug #2874)	Guillaume Melquiond	2015-07-28
* \|	search: Add an output-name-only search option	Clément Pit--Claudel	2015-07-27
\| *	Improving over 26aa224293 in reporting unexpected error during scheme creation.	Hugo Herbelin	2015-07-27
\| *	Fixing bug #3736 (anomaly instead of error/warning/silence on	Hugo Herbelin	2015-07-27
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-07-18
\|\\|
\| *	Option -type-in-type: added support in checker and making it contaminating	Hugo Herbelin	2015-07-10
\| *	Fixing "Load" without "Verbose" in coqtop, after vernac_com lost its	Hugo Herbelin	2015-07-07
* \|	Merge branch 'v8.5' into trunk	Maxime Dénès	2015-07-02
\|\\|
\| *	Fix loop in assumptions (Close: #4275)	Enrico Tassi	2015-07-02
\| *	Assumptions: more informative print for False axiom (Close: #4054)	Enrico Tassi	2015-06-29
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-06-28
\|\\|
\| *	Reinstall Set Printing Universes option overwritten by Maxime!	Matthieu Sozeau	2015-06-28
\| *	Fix bug #4254 with the help of J.H. Jourdan	Matthieu Sozeau	2015-06-26
\| *	Introduction of a "Undelimit Scope" command, undoing "Delimit Scope"	Lionel Rieg	2015-06-26
\| *	Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.	Thomas Sibut-Pinote	2015-06-25
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-06-24
\|\\|
\| *	improve --help documentation: the -m\|--memory option was missing	Gabriel Scherer	2015-06-24
\| *	when OCAML_GC_STATS points to a filepath, write Gc stats into it	Gabriel Scherer	2015-06-24
\| *	Splitting the library representation on disk in two.	Pierre-Marie Pédrot	2015-06-24
\| *	obligations: wrap Ephemeron.get to make error more informative	Enrico Tassi	2015-06-23
\| *	Wrap the program_info type up in the ephemeron mechanism	Alec Faithfull	2015-06-23
* \|	Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.	Thomas Sibut-Pinote	2015-06-23
\| *	Add a Set Dump Bytecode command for debugging purposes.	Maxime Dénès	2015-06-23
\| *	Warning are enabled by default in interactive mode.	Pierre-Marie Pédrot	2015-06-23
* \|	Merge branch 'v8.5' into trunk	Pierre Letouzey	2015-06-22
\|\\|
\| *	Remove uses of polymorphic equality from prev. commit	Clément Pit--Claudel	2015-06-22
\| *	Replace 'try ... with Failure "List.last"' with 'if l <> []'	Clément Pit--Claudel	2015-06-22
\| *	Guard the List.hd call in [Show Intros]	Clément Pit--Claudel	2015-06-22
* \|	All invocations to ocaml compilers go through ocamlfind	Pierre Boutillier	2015-06-22
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-06-01
\|\\|
\| *	coqtop: reset the current file name after a load-vernac-source	Enrico Tassi	2015-05-29
\| *	Flag -test-mode intended to be used for ad-hoc prints in test-suite	Enrico Tassi	2015-05-29
\| *	make Unset Silent work in coqc	Enrico Tassi	2015-05-29
\| *	Fix bug #4159	Matthieu Sozeau	2015-05-27
\| *	Uncaught exception termination exits coqtop with the anomaly errno.	Pierre-Marie Pédrot	2015-05-18
\| *	The Fail command does not catch uncaught exception anomalies anymore.	Pierre-Marie Pédrot	2015-05-18
\| *	Disabling colors when tERM variable is "dumb".	Pierre Courtieu	2015-05-18
\| *	Fix usage about -color.	Pierre Courtieu	2015-05-18
* \|	Merge v8.5 into trunk	Hugo Herbelin	2015-05-15
\|\\|
\| *	The -list-tag options now prints the corresponding COQ_COLORS value.	Pierre-Marie Pédrot	2015-05-14