coq - The formal proof system

Age	Commit message (Expand)	Author
2021-01-27	[vernac] move vernac_classifier to vernac	Enrico Tassi
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2018-11-17	[vernacextend] Consolidate extension points API	Emilio Jesus Gallego Arias
2018-07-12	Export a wrapper simplifying the registration of vernacular commands.	Pierre-Marie Pédrot
2018-05-17	[STM] Nested Proofs Allowed has to be executed immediately	Enrico Tassi
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-12-20	Separate vernac controls and regular commands.	Maxime Dénès
2017-10-17	[stm] First step to move interpretation of Undo commands out of the classifier.	Emilio Jesus Gallego Arias
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2014-11-09	new: Optimize Proof, Optimize Heap	Enrico Tassi
2014-09-10	VernacExtend does not dispatch on type anymore.	Pierre-Marie Pédrot
2014-04-25	Adding a stm/ folder, as asked during last workgroup. It was essentially moving	Pierre-Marie Pédrot