coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Type-safe Egramml.grammar_prod_item.	Pierre-Marie Pédrot	2015-10-27
*	Pcoq entries are given a proper module.	Pierre-Marie Pédrot	2015-10-26
*	Adding a notion of monotonous evarmap.	Pierre-Marie Pédrot	2015-10-18
*	Dedicated file for universe unification context manipulation.	Pierre-Marie Pédrot	2015-10-17
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-15
\|\
\| *	Reverting modifications in dev/top_printers pushed mistakenly.	Pierre-Marie Pédrot	2015-10-14
\| *	Fixing perfomance issue of auto hints induced by universes.	Pierre-Marie Pédrot	2015-10-14
\| *	Fix some typos.	Guillaume Melquiond	2015-10-13
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-10
\|\\|
\| *	Code cleaning in VM (with Benjamin).	Maxime Dénès	2015-10-09
\| *	Minor typo in universe polymorphism doc.	Maxime Dénès	2015-10-09
* \|	Splitting kernel universe code in two modules.	Pierre-Marie Pédrot	2015-10-06
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-06
\|\\|
\| *	Updating versions history with data from Gérard.	Hugo Herbelin	2015-10-02
\| *	Update the history of versions with recent versions.	Hugo Herbelin	2015-10-02
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-02
\|\\|
\| *	Univs: More info for developers.	Matthieu Sozeau	2015-10-02
* \|	Better debug printers for module paths.	Maxime Dénès	2015-09-20
* \|	Merge branch 'v8.5' into trunk	Maxime Dénès	2015-09-17
\|\\|
\| *	Fix Windows installer.	Guillaume Melquiond	2015-09-17
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-08-22
\|\\|
\| *	windows build scripts made more accurate in detecting failures	Enrico Tassi	2015-08-17
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-08-05
\|\\|
\| *	A printer for printing constants of the env (maybe useful when there are not ...	Hugo Herbelin	2015-07-30
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-07-27
\|\\|
\| *	adding a missing case for printing zippers.	Gregory Malecha	2015-07-23
* \|	Merge branch 'v8.5' into trunk	Maxime Dénès	2015-07-02
\|\\|
\| *	Assumptions: more informative print for False axiom (Close: #4054)	Enrico Tassi	2015-06-29
\| *	win: compile with -debug	Enrico Tassi	2015-06-29
\| *	Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.	Thomas Sibut-Pinote	2015-06-25
* \|	Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.	Thomas Sibut-Pinote	2015-06-23
* \|	Merge remote-tracking branch 'forge/v8.5'	Pierre Boutillier	2015-06-22
\|\\|
\| *	script to build 64 coq installer for windows	Enrico Tassi	2015-06-01
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-05-05
\|\\|
\| *	Fixing #4198 (looking for subterms also in the return clause of match).	Hugo Herbelin	2015-04-21
\| *	use a more compact representation of non-constant constructors	Benjamin Gregoire	2015-03-27
\| *	fix compilation	Benjamin Gregoire	2015-03-26
* \|	Adding a new folder corresponding to the low-level part of the pretyper	Pierre-Marie Pédrot	2015-02-27
\|/
*	Adding a possible DEPRECATED flag to VERNAC EXTEND statements.	Pierre-Marie Pédrot	2015-02-19
*	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
*	Windows installer cleanup	Enrico Tassi	2015-02-05
*	Removing dead code.	Pierre-Marie Pédrot	2015-02-02
*	Univs: proper printing of global and local universe names (only	Matthieu Sozeau	2015-01-17
*	vm_printers: fix compilation	Enrico Tassi	2015-01-15
*	Update headers.	Maxime Dénès	2015-01-12
*	Avoiding introducing yet another convention in naming files.	Hugo Herbelin	2015-01-08
*	Compatibility ocaml 3.12.	Hugo Herbelin	2014-12-30
*	Minor fixes for the win32 installer	Enrico Tassi	2014-12-30
*	Win32: fix installer	Enrico Tassi	2014-12-19