coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	add test for #7595	Ralf Jung	2018-06-07
*	Merge PR #7484: Fix non-portable shebang in test-suite.	Enrico Tassi	2018-05-16
\|\
* \	Merge PR #7479: Move 4722 (dangling symlink) to misc tests, remove dangling s...	Gaëtan Gilbert	2018-05-14
\|\ \
\| * \|	Move 4722 (dangling symlink) to misc tests, remove dangling symlink from repo	Ralf Jung	2018-05-13
\| \| *	Fix non-portable shebang in test-suite.	Théo Zimmermann	2018-05-11
\| \|/ \|/\|
* \|	test for coqc -o	Enrico Tassi	2018-05-09
\|/
*	Improve shell scripts	zapashcanon	2018-04-05
*	Adding a test for utf8 characters in directory names.	Hugo Herbelin	2017-09-13
*	Remove trailing CR before diff in output and misc tests.	Maxime Dénès	2017-07-20
*	Should fix a false negative reported by deps-order.sh.	Hugo Herbelin	2017-06-21
*	A stronger test that #use"include";; works well.	Hugo Herbelin	2017-06-11
*	Moving code for miscellaneous tests to specific files.	Hugo Herbelin	2017-05-10
*	Adding tests for testing exit status and #use"include".	Hugo Herbelin	2017-05-10
*	Cleaning old untested not any more interesting testing files.	Hugo Herbelin	2017-05-10
*	test-suite: test checking of libraries checksum.	Maxime Dénès	2016-07-04
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Update headers.	Maxime Dénès	2015-01-12
*	Updating headers.	herbelin	2012-08-08
*	Kills the useless tactic annotations "in \|- *"	letouzey	2012-07-05
*	test suite update after r14808	pboutill	2011-12-19
*	Add a test for sorting all universes of stdlib	glondu	2011-01-25
*	Added test for bugs 2242, 2337, 2339 + remove the use of name "ambiguous" in	herbelin	2010-09-18
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Fixing xml theory file export (was not consistent with coqdoc file	herbelin	2009-11-26