coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-20	Add default value of -native-compiler to `coqc -config`	Pierre Roux
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-11-21	[coq] Untabify the whole ML codebase.	Emilio Jesus Gallego Arias
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-04-24	[coq_makefile] Enforce warn_error for plugins.	Emilio Jesus Gallego Arias
2019-02-14	[coqlib] Remove `-boot` option for setting the coqlib	Emilio Jesus Gallego Arias
2019-02-08	Make boot flag into a normal option (no global flag).	Gaëtan Gilbert
2018-11-21	[camlp5] Remove dependency on camlp5.	Emilio Jesus Gallego Arias
2018-10-16	[clib] Deprecate string functions available in OCaml 4.05	Emilio Jesus Gallego Arias
2018-10-01	[envars] Small implementation cleanup for coqlib internals.	Emilio Jesus Gallego Arias
2018-10-01	[lib] [flags] Move coqlib handling out of `Flags`	Emilio Jesus Gallego Arias
2018-10-01	[envars] Defer CAMLP5 location to configure.	Emilio Jesus Gallego Arias
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