coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-08-03	More documentation on grammars and parsing	Jim Fehrle

2019-10-17	Fix link to `xml-protocol.md` in `dev/README.md`	Michael D. Adams

2019-07-11	Refactor and expand contributing guide.	Théo Zimmermann
	This is almost a full rewrite of the contributing guide. The goal was to have a more structured, and more exhaustive guide, where all our processes are documented, and from which all the useful documentation is linked to. The document lists contribution types in the order in which it is most natural to go through them: from contributions to the ecosystem, to issues, to code contributions, to taking part in the maintenance. However, it seemed important to not neglect this last part if we want to ease the onboarding of new maintainers (and not just of occasional contributors). A table of content makes it easy to go through the document (which is too long to be read from begin to end). The guide documents our processes in the way they are today, without changing anything, but this should be a good basis to make them evolve in the future. Insufficiently documented tools and processes are mentioned as such.
2019-02-28	Remove forgotten link to removed document cic.dtd.	Théo Zimmermann

2018-10-02	[doc] [api] Remove `ocamldoc` support in favor of `odoc`	Emilio Jesus Gallego Arias
	This PR removes support for `ocamldoc` in favor of `odoc`. Following a recent discussion in OCaml's discord, it turns out that basically all the ecosystem has migrated to odoc, thus we follow suit and may focus on `odoc` for Coq's ML API documentation.
2018-07-02	Clean up documentation around beginner's guide.	Siddharth Bhat
	- move `README` to `README.md` to take advantage of markdown features - remove `setup.txt`, port the editor specific information to the wiki. Merge development information into `dev/doc/README.md`. Wiki merge link: https://github.com/coq/coq/wiki/DevelSetup. - Add new links to files into `dev/README.md`. - Remove stale `translate.txt`.