coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-15
\|\
\| *	Remove -vm flag of coqtop.	Maxime Dénès	2015-10-14
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-10
\|\\|
\| *	Code cleaning in VM (with Benjamin).	Maxime Dénès	2015-10-09
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-09
\|\\|
\| *	Spawn: use each socket exclusively for writing or reading	Enrico Tassi	2015-10-08
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-02
\|\\|
\| *	Prevent States.intern_state and System.extern_intern from looking up files in...	Guillaume Melquiond	2015-09-29
\| *	Remove some uses of Loadpath.get_paths.	Guillaume Melquiond	2015-09-29
\| *	Make -load-vernac-object respect the loadpath.	Guillaume Melquiond	2015-09-28
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-09-25
\|\\|
\| *	The -require option now accepts a logical path instead of a physical one.	Pierre-Marie Pédrot	2015-09-25
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-08-05
\|\\|
\| *	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-18
\|\\|
\| *	Option -type-in-type: added support in checker and making it contaminating	Hugo Herbelin	2015-07-10
\| *	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
\|\\|
\| *	when OCAML_GC_STATS points to a filepath, write Gc stats into it	Gabriel Scherer	2015-06-24
* \|	Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.	Thomas Sibut-Pinote	2015-06-23
\| *	Warning are enabled by default in interactive mode.	Pierre-Marie Pédrot	2015-06-23
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-06-01
\|\\|
\| *	Flag -test-mode intended to be used for ad-hoc prints in test-suite	Enrico Tassi	2015-05-29
\| *	Uncaught exception termination exits coqtop with the anomaly errno.	Pierre-Marie Pédrot	2015-05-18
\| *	Disabling colors when tERM variable is "dumb".	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
\| *	Adding an option -w to control Coq warning output.	Pierre-Marie Pédrot	2015-05-14
\| *	Disable precompilation for native_compute by default.	Guillaume Melquiond	2015-05-14
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-05-05
\|\\|
\| *	Remove almost all the uses of string concatenation when building error messages.	Guillaume Melquiond	2015-04-23
* \|	Merge branch 'v8.5' into trunk	Pierre Letouzey	2015-04-09
\|\\|
\| *	Remove Mltop.add_path as it is no longer possible to import files from subdir...	Guillaume Melquiond	2015-04-02
\| *	Removing references to deprecated syntax -I/-R -as.	Pierre-Marie Pédrot	2015-03-31
* \|	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin	2015-02-16
\| *	Revert "Using same code for browsing physical directories in coqtop and coqdep."	Hugo Herbelin	2015-02-12
\| *	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin	2015-02-12
\|/
*	spit module path using / as directory separator	Enrico Tassi	2015-02-03
*	Make -print-mod-uid accept a list of files.	Maxime Dénès	2015-01-15
*	Made -print-mod-uid more silent and robust.	Maxime Dénès	2015-01-13
*	Update headers.	Maxime Dénès	2015-01-12
*	rename: vi -> vio	Enrico Tassi	2015-01-06
*	STM: rename and simplify flags	Enrico Tassi	2014-12-17
*	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot	2014-12-16
*	async_queries_* merged with async_proofs_*	Enrico Tassi	2014-11-27
*	Feedback: API cleaned up, documented and made user extensible	Enrico Tassi	2014-11-27
*	Plugging console highlighting in for toplevel and compilation error messages.	Pierre-Marie Pédrot	2014-11-24
*	For consistency with other coqtop flags, use -help rather than --help in usage.	Hugo Herbelin	2014-11-16
*	Adding a command line option to print out accepted color tags.	Pierre-Marie Pédrot	2014-11-15
*	Reworking the -color flag of coqtop.	Pierre-Marie Pédrot	2014-11-15