coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-11-26
\|\\|
\| *	Generalizing the patch to bug #2554 on fixing path looking with	Hugo Herbelin	2015-11-25
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-09-25
\|\\|
\| *	Revert "On MacOS X, ensuring that files found in the file system have the"	Maxime Dénès	2015-09-20
* \|	Fixup last commit	Pierre Boutillier	2015-06-22
* \|	All invocations to ocaml compilers go through ocamlfind	Pierre Boutillier	2015-06-22
\|/
*	Continuing incomplete 4b5af0d6e9ec1 (on MacOS X, ensuring that files	Hugo Herbelin	2015-05-20
*	Update headers.	Maxime Dénès	2015-01-12
*	Uses slashes for install and config directories	Virgile Prevosto	2014-03-06
*	CUnix: enriched (get_extension, sys_command, waitpid_non_intr) + cleaned	Pierre Letouzey	2014-01-30
*	Misc changes around coqtop.ml :	letouzey	2013-08-22
*	Restrict (try...with...) to avoid catching critical exn (part 5)	letouzey	2013-03-13
*	Restrict (try...with...) to avoid catching critical exn (part 4)	letouzey	2013-03-12
*	More monomorphization.	ppedrot	2013-03-05
*	Envar: in w32, add .exe when searching for caml binaries	letouzey	2013-01-12
*	Fix coqtop -config when absolute path have been given for ocaml*	pboutill	2012-12-19
*	Moved Stringset and Stringmap to String namespace.	ppedrot	2012-12-14
*	Ensure that a function declared with a label is used with it	letouzey	2012-12-08
*	Envars: repair failed compilation after yann's commits	letouzey	2012-12-07
*	* lib/Envars:	regisgia	2012-12-07
*	* lib/Envars:	regisgia	2012-12-07
*	Added a CString module.	ppedrot	2012-11-13
*	Monomorphized a lot of equalities over OCaml integers, thanks to	ppedrot	2012-11-08
*	No more states/initial.coq, instead coqtop now requires Prelude.vo	letouzey	2012-08-23
*	Updating headers.	herbelin	2012-08-08
*	bug 2805: Only export CAMLP4LIB if camlp4 -where ends successfully	pboutill	2012-06-12
*	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill	2012-05-23
*	Always add the Coq_config.dirs to xdg_dirs	pboutill	2012-05-02
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	Noise for nothing	pboutill	2012-03-02
*	CoqIde files position is freedesktop compliant.	pboutill	2011-12-18
*	coqrc in the right XDG_CONFIG_HOME/coq folder	pboutill	2011-11-20
*	Add support for XDG_DATA_HOME and XDG_DATA_DIRS.	pboutill	2011-11-20
*	In Coq_config: get rid of coqsrc and make coqlib optional	glondu	2011-09-27
*	Choose relative directory over configured directory for coqlib.	pboutill	2011-04-29
*	coqtop -config returns coq returns coq environments at exection time	pboutill	2011-04-28
*	Win32: remove the need for Coq.bat and Coqide.bat	letouzey	2011-04-21
*	Add directories in COQPATH to search path.	herbelin	2011-04-14
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Gestion des espaces dans les noms + guess_coqlib sous Windows	notin	2009-02-11
*	Fix d'un problème lors de l'appel à coqtop avec un chemin relatif	notin	2009-02-11
*	Experimental file commited by mistake, sorry.	herbelin	2009-01-19
*	Backporting from v8.2 to trunk:	herbelin	2009-01-18
*	Remove trailing newlines in outputs of X -where	glondu	2009-01-08
*	Made the debugger work again:	herbelin	2009-01-02
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19