coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	More printers for ltac signatures.	Hugo Herbelin	2014-12-16
*	Switch the few remaining iso-latin-1 files to utf8	Pierre Letouzey	2014-12-09
*	Removing import of Proofview in debugger because its module Goal hides	Hugo Herbelin	2014-12-07
*	More printers in tracer.	Hugo Herbelin	2014-12-05
*	Reactivating option "Set Printing Existential Instances" for asking printing ...	Hugo Herbelin	2014-12-04
*	Reverting the following block of three commits:	Hugo Herbelin	2014-11-27
*	Experimenting always forcing convertibility on strict implicit arguments	Hugo Herbelin	2014-11-26
*	Add printer for transparent state for ocamldebug.	Hugo Herbelin	2014-11-23
*	Specific printer of Evar.Set.t for ocamldebug + more information in	Hugo Herbelin	2014-11-22
*	Adding a pretty-printing style library.	Pierre-Marie Pédrot	2014-11-15
*	Plug the dynamic tags in the Richpp mechanism.	Pierre-Marie Pédrot	2014-11-10
*	More "open" by default for trace debugging.	Hugo Herbelin	2014-10-31
*	Split [Proofview] into a file where the basic operations on the state are def...	Arnaud Spiwack	2014-10-22
*	Fix ill-typed debugging function	Matthieu Sozeau	2014-10-15
*	Adding printers for ppproofview.	Hugo Herbelin	2014-10-13
*	Add debug printers for projections, fix printing of evar constraints	Matthieu Sozeau	2014-10-10
*	Adding printer for named_context_val and Goal.goal in debugger.	Hugo Herbelin	2014-10-09
*	Adding a printer for hints.	Hugo Herbelin	2014-10-07
*	Fixing interpretation of constr under binders which was broken after	Hugo Herbelin	2014-10-02
*	Fixing nice printing of error reporting with ml tactics bound to ltac names.	Hugo Herbelin	2014-10-01