coq - The formal proof system

Age	Commit message (Collapse)	Author
2018-07-08	Remove Emacs modes.	Théo Zimmermann
	They are not used anymore. People should use Proof-General (and optionally Company-Coq) instead.
2018-03-30	Remove deprecated commands Arguments Scope and Implicit Arguments	Jasper Hugunin

2017-05-23	[vernac] Remove `Save.` command.	Emilio Jesus Gallego Arias
	It has been deprecated for a while in favor of `Qed`.
2014-09-04	Add a [Variant] declaration which allows to write non-recursive variant types.	Arnaud Spiwack
	Just like the [Record] keyword allows only non-recursive records.
2013-12-17	Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4e	Pierre Boutillier
	Attempt to adapt .el files too. doc/refman/RefMan-uti.tex has still to be fixed.
2013-12-10	Renaming elisp files to avoid conflict with pg in distribs.	Pierre Courtieu