coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Add support for "-bypass-API" argument of "coq_makefile"	Matej Košík	2017-06-12
*	Put all plugins behind an "API".	Matej Kosik	2017-06-07
*	Relying on computation done in Envars to discover the installation directories.	Hugo Herbelin	2017-05-29
*	Generalizing to docdir and datadir the test for a relocated installation.	Hugo Herbelin	2017-05-29
*	Exporting the suffixes needed to build coqlib, docdir, etc.	Hugo Herbelin	2017-05-29
*	Using Coq_config.local rather than None to tell that Coq_config.coqlib is local.	Hugo Herbelin	2017-05-29
*	Configuration: always giving a value to configdir and datadir.	Hugo Herbelin	2017-05-29
*	Dead code (xdg_config_dirs).	Hugo Herbelin	2017-05-29
*	enters coq_makefile2	Enrico Tassi	2017-05-23
*	ocamlfind: coqtop -config prints ocamlfind as found by ./configure	Enrico Tassi	2017-05-23
*	print_config: print COQ_SRC_SUBDIRS	Enrico Tassi	2017-05-23
*	Put the list of Coq sources subdirectories in one place	Enrico Tassi	2017-05-23
*	Usage.print_config moved to Envars	Enrico Tassi	2017-05-23
*	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