coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[checker] [votour] resolve warning 52 fragile constant pattern	Gaëtan Gilbert	2017-05-26
*	[votour] Fix/disable warnings.	Emilio Jesus Gallego Arias	2017-05-26
*	[votour] Fix build with -safe-string (bug 5553)	Emilio Jesus Gallego Arias	2017-05-26
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-04
\|\
\| *	Make votour a bit more robust/forgiving with respect to user commands (bug #4...	Guillaume Melquiond	2016-05-02
* \|	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