coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Fixing use of arguments renaming in apply which was broken after	Hugo Herbelin	2014-10-01
*	Index keys instead of simply global references.	Matthieu Sozeau	2014-09-27
*	Add a boolean to indicate the unfolding state of a primitive projection,	Matthieu Sozeau	2014-09-27
*	win32: embed NSIS for plugin writers	Enrico Tassi	2014-09-19
*	Fix debug printing with primitive projections.	Matthieu Sozeau	2014-09-18
*	win32: remove outdated splash screen	Enrico Tassi	2014-09-17
*	win32: use subsystem windows on windows (and not console)	Enrico Tassi	2014-09-17
*	Fix base_include due to change in argument order of env and evar_map	Matthieu Sozeau	2014-09-12
*	Uniformisation of the order of arguments env and sigma.	Hugo Herbelin	2014-09-12
*	Referring to evars by names. Added a parser for evars (but parsing of	Hugo Herbelin	2014-09-12
*	VernacExtend does not dispatch on type anymore.	Pierre-Marie Pédrot	2014-09-10
*	Merge remote-tracking branch 'jason/win32-improvements' into trunk	Enrico Tassi	2014-09-09
\|\
\| *	Bump CoqSDK revision number	Jason Gross	2014-09-09
\| *	Add a VERBOSE flag to make-sdk-win32	Jason Gross	2014-09-09
\| *	Minor code style cleanup in make-sdk-win32	Jason Gross	2014-09-09
\| *	Support 64-bit cygwin	Jason Gross	2014-09-09
\| *	Support machines that have a full or nonexistant C drive	Jason Gross	2014-09-09
\| *	Support environments where `find` is Windows' find	Jason Gross	2014-09-09
* \|	Installer for win improved	Enrico Tassi	2014-09-09
\|/