coq - The formal proof system

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