coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[error] Replace msg_error by a proper exception.	Emilio Jesus Gallego Arias	2018-02-09
*	fix space in coqchk error	Ralf Jung	2018-01-24
*	Documenting the -Q flag of coqchk.	Pierre-Marie Pédrot	2017-12-01
*	Mark the -I option in coqchk as deprecated and merge it with -Q.	Pierre-Marie Pédrot	2017-11-29
*	Add a -Q option to coqchck.	Pierre-Marie Pédrot	2017-11-29
*	Allow to pass physical files to coqchk.	Pierre-Marie Pédrot	2017-11-29
*	[feedback] Helper to print feedback messages in the console.	Emilio Jesus Gallego Arias	2017-11-06
*	Merge PR #1075: Re-enable checker error messages	Maxime Dénès	2017-09-25
\|\
\| *	Adapt checker to change in locations.	Maxime Dénès	2017-09-21
\| *	[checker] Add missing Feedback printer (BZ#5587)	Emilio Jesus Gallego Arias	2017-09-21
* \|	[flags] Flag `open Flags`	Emilio Jesus Gallego Arias	2017-09-20
\|/
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	[cleanup] Unify all calls to the error function.	Emilio Jesus Gallego Arias	2017-05-27
*	Remove uses of [Flags.make_silent]	Gaetan Gilbert	2017-04-27
*	Remove unused [rec] keywords	Gaetan Gilbert	2017-04-27
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-02
\|\
\| *	Merge remote-tracking branch 'github/pr/257' into v8.6	Maxime Dénès	2016-09-30
\| \|\
\| * \|	fix bug 3683 : adds references to the web site for the bug tracker	Yves Bertot	2016-09-29
* \| \|	Make the user_err header an optional parameter.	Emilio Jesus Gallego Arias	2016-08-19
\|/ /
\| *	[checker] Fix/fine tune printing.	Emilio Jesus Gallego Arias	2016-08-18
\|/
*	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
*	Fixing the checker.	Pierre-Marie Pédrot	2016-06-18
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-06-09
\|\
\| *	Do not use COQLIBS for the validate rule produced by coq_makefile (bug #4693).	Guillaume Melquiond	2016-06-07
* \|	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\|
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Remove deprecated command-line options such as "-as".	Guillaume Melquiond	2016-01-06
* \|	Remove unused function Checker.print_loc.	Guillaume Melquiond	2015-12-31
\|/
*	Option -type-in-type: added support in checker and making it contaminating	Hugo Herbelin	2015-07-10
*	Remove almost all the uses of string concatenation when building error messages.	Guillaume Melquiond	2015-04-23
*	Removing references to deprecated syntax -I/-R -as.	Pierre-Marie Pédrot	2015-03-31
*	Revert "Using same code for browsing physical directories in coqtop and coqdep."	Hugo Herbelin	2015-02-12
*	Revert "Capital letter in plugins." (Sorry, was not intended to be pushed)	Hugo Herbelin	2015-02-12
*	Capital letter in plugins.	Hugo Herbelin	2015-02-12
*	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin	2015-02-12
*	Update headers.	Maxime Dénès	2015-01-12
*	Exit with code 129 when an anomaly occurs.	Xavier Clerc	2014-11-14
*	Removing explanations of universe inconsistencies from the checker. They	Pierre-Marie Pédrot	2014-06-10
*	Adapt the checker to polymorphic universes and projections (untested).	Matthieu Sozeau	2014-05-08
*	printer for coqchk	Enrico Tassi	2014-04-08
*	Printing backtraces in coqchk while in debug mode.	Pierre-Marie Pédrot	2014-03-18
*	checker: less useless error messages	Enrico Tassi	2014-02-26
*	Misc changes around coqtop.ml :	letouzey	2013-08-22
*	Remove deprecated option -no-hash-consing (currently doing nothing)	letouzey	2013-04-23
*	Checker: regroup all vo-related types in cic.mli	letouzey	2013-04-15
*	Checker: simplify a bit its exception handler	letouzey	2013-03-17
*	Restrict (try...with...) to avoid catching critical exn (part 1)	letouzey	2013-03-12
*	Dir_path --> DirPath	letouzey	2013-02-19
*	Removing Exc_located and using the new exception enrichement	ppedrot	2013-02-18