coq - The formal proof system

Age	Commit message (Expand)	Author
2019-05-23	Fixing typos - Part 3	JPR
2018-11-07	Revert "Do not allow spliting in res_pf, this is reserved for pretyping"	Enrico Tassi
2018-07-02	hints: add Hint Variables/Constants Opaque/Transparent commands	Matthieu Sozeau
2018-06-15	Do not allow spliting in res_pf, this is reserved for pretyping	Matthieu Sozeau
2018-01-03	Fix core hint database issue #6521	Anton Trunov
2017-07-20	Remove non-terminating Timeout tests from Hints.v.	Maxime Dénès
2016-11-03	Test new syntax for hints and typeclass options	Matthieu Sozeau
2016-11-03	Lets Hints/Instances take an optional pattern	Matthieu Sozeau
2016-06-16	Revise syntax of Hint Cut	Matthieu Sozeau
2015-11-04	Hint Cut documentation and cleanup of printing (was duplicated and	Matthieu Sozeau
2012-07-05	ZArith + other : favor the use of modern names instead of compat notations	letouzey
2012-04-12	Repair two tests	letouzey
2011-02-22	Try to fix the behavior of clenv_missing used when declaring hints	letouzey
2011-02-21	Some fixes of the test-suite scripts	letouzey
2010-06-11	Mainly made that evarconv is able to solve "?n = (fun x => x) ?n" (sic).	herbelin
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-05-10	- Addition of "Hint Resolve ->" and "Hint Resolve <-" continued: it	herbelin
2005-12-21	Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8	herbelin
2002-06-05	Fusion entre la nouvelle et l'ancienne syntaxe de HintDestruct	herbelin
2001-09-13	Syntaxe des Hints	herbelin