coq - The formal proof system

Age	Commit message (Collapse)	Author
2019-07-19	Introduce doc_gram, a utilty for extracting Coq's grammar from .mlg files	Jim Fehrle
	and inserting it into the .rst files
2019-05-05	Create categories in changelog.	Théo Zimmermann

2019-02-26	Fix gitattributes for Makefile.dune	Gaëtan Gilbert
	Since it matches .dune and Makefile the later needs to come second in the gitattributes file.
2019-02-20	Enable whitespace checking for some forgotten files.	Gaëtan Gilbert
	+ remove checker/.depend forgotten file
2018-12-20	Fix line ending issues	Gaëtan Gilbert
	Try to mimick MSoegtropIMC (https://github.com/coq/coq/pull/9243#issuecomment-448968353 )
2018-12-17	Fix git line ending conversion in windows	Gaëtan Gilbert

2018-06-04	Make whitespace linter not check for trailing newlines.	Gaëtan Gilbert
	git does not know how to fix this automatically when they appear by removing a chunk of text at the end of the file. eg ``` foo bar ``` to ``` foo ```
2018-03-13	Enable whitespace checking for new Sphinx file extensions.	Gaëtan Gilbert

2018-03-01	Harden gitattributes against core.whitespace configuration.	Gaëtan Gilbert

2017-11-20	Disable whitespace linter for .out files.	Gaëtan Gilbert

2017-10-25	Add linter.	Gaëtan Gilbert

2017-10-05	Shorten the .gitattributes file.	Théo Zimmermann
	.dir-locals.el can be useful for users of the tarballs as well, and TODO doesn't exist anymore.
2015-03-16	gitattributes: add `.mailmap` file to the list of files excluded from the ↵	Arnaud Spiwack
	`.tar.gz`.
2015-03-16	Gitattributes file added to generate archive.	Guillaume Claret
	Cherry-picked from v8.4 ( c1aabb104122ead02fa289339a42815373338222 ).