coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Displaying the object identifier in votour.	Pierre-Marie Pédrot	2015-11-15
\|/
*	Adding a more efficient representation of OCaml objects in votour.	Pierre-Marie Pédrot	2015-06-25
*	Splitting the library representation on disk in two.	Pierre-Marie Pédrot	2015-06-24
*	Votour displays wordsize of segments before loading them.	Pierre-Marie Pédrot	2015-06-20
*	Exporting memory representation of STM tasks for votour.	Pierre-Marie Pédrot	2015-03-25
*	Functorized interface over object representation in votour.	Pierre-Marie Pédrot	2015-03-24
*	Fixing representation of dynamics in votour (again).	Pierre-Marie Pédrot	2015-03-24
*	Fixing internal representation of Dyn.t in votour.	Pierre-Marie Pédrot	2015-03-18
*	Update headers.	Maxime Dénès	2015-01-12
*	checker and votour ported to new vo format (after -vi2vo)	Enrico Tassi	2014-02-26
*	votour: better error messages	Enrico Tassi	2014-02-26
*	.vi files: .vo files without proofs	Enrico Tassi	2014-01-04
*	Adding dynamic value printing to votour through a registering mechanism.	ppedrot	2013-08-23
*	Change in vo format : digest aren't Marshalled anymore	letouzey	2013-08-22
*	Fixing votour	ppedrot	2013-08-20
*	Checker: vo validation checks the absence of Var/Evar/Meta	letouzey	2013-04-15
*	votour: a small tool for guided tours of .vo	letouzey	2013-04-15