coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-06-02	Move CoqIDE to its own folder	Maxime Dénès
	The will make it possible to put a VsCoq toplevel in `ide/vscoq`.
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
	Add headers to a few files which were missing them.
2020-02-13	[build] Consolidate stdlib's .v files under a single directory.	Emilio Jesus Gallego Arias
	Currently, `.v` under the `Coq.` prefix are found in both `theories` and `plugins`. Usually these two directories are merged by special loadpath code that allows double-binding of the prefix. This adds some complexity to the build and loadpath system; and in particular, it prevents from handling the `Coq.*` prefix in the simple, `-R theories Coq` standard way. We thus move all `.v` files to theories, leaving `plugins` as an OCaml-only directory, and modify accordingly the loadpath / build infrastructure. Note that in general `plugins/foo/Foo.v` was not self-contained, in the sense that it depended on files in `theories` and files in `theories` depended on it; moreover, Coq saw all these files as belonging to the same namespace so it didn't really care where they lived. This could also imply a performance gain as we now effectively traverse less directories when locating a library. See also discussion in #10003
2020-01-31	[makefile] Ignore _build_boot directory	Emilio Jesus Gallego Arias
	PR #11267 reverted commit d21e17ac99dfb2008f2e2bfdb373413490d1ffc7 (of PR #10695) by error, this reinstates it.
2019-12-16	FIND_SKIP_DIRS (make): ignore all dot directories	Gaëtan Gilbert
	Fix #11266
2019-12-16	[make] Add _build_boot to find_skip_dirs	Emilio Jesus Gallego Arias

2019-12-13	[make] Rename Makefile to Makefile.make	Emilio Jesus Gallego Arias
	Picked from #8729. This should help preserve the history better when we split.