coq - The formal proof system

Age	Commit message (Expand)	Author
2018-07-02	[envars] honor env variable COQLIB	Enrico Tassi
2018-02-27	Update headers following #6543.	Théo Zimmermann
2018-02-17	Change references to CAMLP4 to CAMLP5 to be more accurate since we no	Jim Fehrle
2017-12-10	[build] Remove coqmktop in favor of ocamlfind.	Emilio Jesus Gallego Arias
2017-09-19	coq_makefile: make sure compile flags for Coq and coq_makefile are in sync	Emilio Jesus Gallego Arias
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2017-06-12	Add support for "-bypass-API" argument of "coq_makefile"	Matej Košík
2017-06-07	Put all plugins behind an "API".	Matej Kosik
2017-05-29	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-23	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
2016-01-21	Merge branch 'v8.5'	Pierre-Marie Pédrot
2016-01-20	Update copyright headers.	Maxime Dénès
2015-11-26	Merge branch 'v8.5'	Pierre-Marie Pédrot
2015-11-25	Generalizing the patch to bug #2554 on fixing path looking with	Hugo Herbelin
2015-09-25	Merge branch 'v8.5'	Pierre-Marie Pédrot
2015-09-20	Revert "On MacOS X, ensuring that files found in the file system have the"	Maxime Dénès
2015-06-22	Fixup last commit	Pierre Boutillier
2015-06-22	All invocations to ocaml compilers go through ocamlfind	Pierre Boutillier
2015-05-20	Continuing incomplete 4b5af0d6e9ec1 (on MacOS X, ensuring that files	Hugo Herbelin
2015-01-12	Update headers.	Maxime Dénès
2014-03-06	Uses slashes for install and config directories	Virgile Prevosto
2014-01-30	CUnix: enriched (get_extension, sys_command, waitpid_non_intr) + cleaned	Pierre Letouzey
2013-08-22	Misc changes around coqtop.ml :	letouzey
2013-03-13	Restrict (try...with...) to avoid catching critical exn (part 5)	letouzey
2013-03-12	Restrict (try...with...) to avoid catching critical exn (part 4)	letouzey
2013-03-05	More monomorphization.	ppedrot
2013-01-12	Envar: in w32, add .exe when searching for caml binaries	letouzey
2012-12-19	Fix coqtop -config when absolute path have been given for ocaml*	pboutill
2012-12-14	Moved Stringset and Stringmap to String namespace.	ppedrot
2012-12-08	Ensure that a function declared with a label is used with it	letouzey
2012-12-07	Envars: repair failed compilation after yann's commits	letouzey
2012-12-07	* lib/Envars:	regisgia
2012-12-07	* lib/Envars:	regisgia
2012-11-13	Added a CString module.	ppedrot
2012-11-08	Monomorphized a lot of equalities over OCaml integers, thanks to	ppedrot
2012-08-23	No more states/initial.coq, instead coqtop now requires Prelude.vo	letouzey
2012-08-08	Updating headers.	herbelin
2012-06-12	bug 2805: Only export CAMLP4LIB if camlp4 -where ends successfully	pboutill
2012-05-23	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill
2012-05-02	Always add the Coq_config.dirs to xdg_dirs	pboutill
2012-04-12	lib directory is cut in 2 cma.	pboutill