coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-07-07
\|\
\| *	Prevent "Load" from displaying all the intermediate subgoals.	Guillaume Melquiond	2016-07-07
\| *	Do not display goals in -compile-verbose mode (bug #4841).	Guillaume Melquiond	2016-07-07
* \|	rename toplevel/cerror.ml into explainErr.ml (too close to the new lib/cError...	Pierre Letouzey	2016-07-03
* \|	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
* \|	Merge remote-tracking branch 'github/pr/212' into trunk	Maxime Dénès	2016-06-20
\|\ \
\| * \|	Add file name, line number and beginning of line position to locations.	Maxime Dénès	2016-06-20
* \| \|	Fix bug #4836: Anomaly: Uncaught exception Invalid_argument.	Pierre-Marie Pédrot	2016-06-19
\|/ /
* \|	Protect the beautifier from change in the lexer state (typically by	Hugo Herbelin	2016-06-16
* \|	Merge remote-tracking branch 'origin/pr/166' into trunk	Enrico Tassi	2016-06-14
\|\ \
\| \| *	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
* \|	Revert "Protect the beautifier from change in the lexer state (typically by"	Hugo Herbelin	2016-04-27
* \|	Protect the beautifier from change in the lexer state (typically by	Hugo Herbelin	2016-04-27
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\|
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
\| *	Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen.	Maxime Dénès	2016-01-15
* \|	CLEANUP: Removing "Vernacexpr.VernacNop" variant to which no Vernacular comma...	Matej Kosik	2015-12-18
* \|	CLEANUP: Vernacexpr.vernac_expr	Matej Kosik	2015-12-18
\|/
*	Remove some uses of Loadpath.get_paths.	Guillaume Melquiond	2015-09-29
*	The -compile option now accepts ".v" files and outputs a warning otherwise.	Pierre-Marie Pédrot	2015-09-25
*	Use open_utf8_file_in for opening files in the IDE. (Fix bug #2874)	Guillaume Melquiond	2015-07-28
*	Fixing "Load" without "Verbose" in coqtop, after vernac_com lost its	Hugo Herbelin	2015-07-07
*	Splitting the library representation on disk in two.	Pierre-Marie Pédrot	2015-06-24
*	coqtop: reset the current file name after a load-vernac-source	Enrico Tassi	2015-05-29
*	make Unset Silent work in coqc	Enrico Tassi	2015-05-29
*	Adding an option -w to control Coq warning output.	Pierre-Marie Pédrot	2015-05-14
*	STM: process_error_hook set in Vernac where fname is known (fix #4229)	Enrico Tassi	2015-05-12
*	Add a [Redirect] vernacular command	Clément Pit--Claudel	2015-05-04
*	Remove almost all the uses of string concatenation when building error messages.	Guillaume Melquiond	2015-04-23
*	Update headers.	Maxime Dénès	2015-01-12
*	rename: vi -> vio	Enrico Tassi	2015-01-06
*	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot	2014-12-16
*	Removing a pperrnl.	Pierre-Marie Pédrot	2014-11-15
*	Goal printing made uniform: always done in STM (close 3585)	Enrico Tassi	2014-10-22
*	STM: primitives to snapshot a .vi while in interactive mode	Enrico Tassi	2014-10-13
*	library/opaqueTables: enable their use in interactive mode	Enrico Tassi	2014-10-13
*	Removing dead code relative to the XML plugin.	Pierre-Marie Pédrot	2014-09-08
*	coqworkmgr	Enrico Tassi	2014-09-02
*	Removing dead code.	Pierre-Marie Pédrot	2014-06-17
*	Remove the syntax [Vernac1. Vernac2. … Vernacn. ].	Arnaud Spiwack	2014-06-06
*	STM: make -async-proofs on work from coqc too	Enrico Tassi	2014-03-18
*	Stm: smarter delegation policy	Enrico Tassi	2014-03-12
*	vi2vo: universes handling finally fixed	Enrico Tassi	2014-03-11
*	Remove some dead-code (thanks to ocaml warnings)	Pierre Letouzey	2014-03-05