coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
\|
*	Update copyright headers.	Maxime Dénès	2016-01-20
\|
*	Update headers.	Maxime Dénès	2015-01-12
\|
*	new: Optimize Proof, Optimize Heap	Enrico Tassi	2014-11-09
\| \| \| \| \| \| \| \|	- drops all Defined entries from the evar map (applying the subst to the initial evar and the undefined evars types). - call Gc.compact Now the question is: where should these two commands be documented?
*	VernacExtend does not dispatch on type anymore.	Pierre-Marie Pédrot	2014-09-10
\|
*	Adding a stm/ folder, as asked during last workgroup. It was essentially moving	Pierre-Marie Pédrot	2014-04-25
	files around. A bunch of files from lib/ that were only used in the STM were moved, as well as part of toplevel/ related to the STM.