coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Remove Emacs modes.	Théo Zimmermann	2018-07-08
\| \| \| \| \|	They are not used anymore. People should use Proof-General (and optionally Company-Coq) instead.
*	Archive the `gallina` tool	Vincent Laporte	2018-06-25
\|
*	Merge PR #7481: document 7025 (coq_makefile flag variables)	Maxime Dénès	2018-06-04
\|\
* \|	Minor update of the documentation/man about the resource file.	Hugo Herbelin	2018-05-16
\| \|
\| *	document 7025	Enrico Tassi	2018-05-16
\|/
*	[sphinx] Fix a porting mistake.	Théo Zimmermann	2018-05-05
\|
*	[sphinx] Fix a typo that appeared during the migration.	Théo Zimmermann	2018-05-05
\|
*	[Sphinx] Fix all remaining warnings.	Maxime Dénès	2018-04-14
\|
*	[sphinx] Fix many warnings.	Théo Zimmermann	2018-04-14
\| \| \| \| \|	Including cross-reference TODOs. I took down the number of warnings from 300 to 50.
*	[sphinx] Use macro \|CoqIDE\| consistently.	Théo Zimmermann	2018-04-11
\|
*	[Sphinx] Add chapter 15	Laurent Théry	2018-04-10
\| \| \| \|	Thanks to Laurent Théry for porting this chapter.
*	[Sphinx] Move chapter 15 to new infrastructure	Maxime Dénès	2018-04-10
\|
*	[Sphinx] Add chapter 16	Maxime Dénès	2018-03-15
\| \| \| \|	Thanks to Paul Steckler for porting this chapter.
*	[Sphinx] Move chapter 16 to new infrastructure	Maxime Dénès	2018-03-15
\|
*	[Sphinx] Add chapter 14	Maxime Dénès	2018-03-15
\| \| \| \|	Thanks to Paul Steckler for porting this chapter.
*	[Sphinx] Move chapter 14 to new infrastructure	Maxime Dénès	2018-03-15