coq - The formal proof system

Age	Commit message (Collapse)	Author
2017-08-18	Don't mention coq-club at all	Tej Chajed

2017-08-18	Advise contributors to use SE over coq-club	Tej Chajed

2017-08-15	Never mind, don't mention coqdev	Tej Chajed
	I don't really want to recommend that someone subscribes to ask a question.
2017-08-15	Mention coqdev@	Tej Chajed

2017-08-12	Also mention Stack Exchange	Tej Chajed

2017-08-12	Add some things Jason mentioned	Tej Chajed

2017-08-12	Expand PR process explanation	Tej Chajed

2017-08-12	Link to the existing list of tutorials	Tej Chajed

2017-08-10	Simplify a bit of wording	Tej Chajed

2017-08-10	Describe pull requests a bit more precisely	Tej Chajed

2017-08-10	Some more tweaks to contributing guide	Tej Chajed

2017-08-10	Amendments to contributing doc	Tej Chajed
	Incorporating some feedback from @Zimmi48
2017-08-10	Add a set of contributing guidelines	Tej Chajed
	Heavily inspired by the Rust guidelines (https://github.com/rust-lang/rust/blob/master/CONTRIBUTING.md).
2017-08-02	Makefile: 'make clean' now immune to the check for binary files without sources	Pierre Letouzey
	This is a followup of 7d1fc15. Without this fix, you're warned of leftover files, but even a 'make clean' is then refused, so you cannot get rid of them easily (apart via a git clean -xfd).
2017-08-01	Merge PR #933: Fix documentation of Hint Mode (bug #4911).	Maxime Dénès

2017-08-01	Merge PR #932: Fix shuffled documentation.	Maxime Dénès

2017-08-01	Merge PR #929: Add missing paragraph to introduction	Maxime Dénès

2017-08-01	Merge PR #928: Fixing bug #5671 (tactic specialize unclean wrt Metas).	Maxime Dénès

2017-08-01	Merge PR #926: test-suite uses Extraction TestCompile	Maxime Dénès

2017-08-01	Merge PR #925: Document Extraction TestCompile	Maxime Dénès

2017-08-01	Merge PR #921: [make] remove compat5 file.	Maxime Dénès

2017-08-01	Merge PR #919: Remove a few useless evar-normalizations in printing code.	Maxime Dénès

2017-08-01	Merge PR #917: Moving --print-version to -print-version for consistency.	Maxime Dénès

2017-08-01	Merge PR #913: Less allocations in Detyping	Maxime Dénès

2017-08-01	Merge PR #909: Extraction: reduce primitive projections in types (fix bug 4709)	Maxime Dénès

2017-08-01	Merge PR #893: Removing default evar-normalization for ARGUMENT EXTEND.	Maxime Dénès

2017-08-01	Merge PR #834: Adding support for recursive notations of the form "x , .. , ↵	Maxime Dénès
	y , z".
2017-08-01	Merge PR #806: closing bug 5315	Maxime Dénès

2017-08-01	Merge PR #775: [toplevel] Remove long ago deprecated and NOOP options.	Maxime Dénès

2017-07-31	Merge PR #761: deprecate Pp.std_ppcmds type and promote Pp.t instead	Maxime Dénès

2017-07-31	Merge PR #746: Timing on ci via coq_makefile for various projects	Maxime Dénès

2017-07-29	Drop paragraph mentioning Addendum as separate doc.	Théo Zimmermann
	As suggested by @herbelin.
2017-07-29	closing bug 5315	Julien Forest

2017-07-28	Merge PR #923: [api] Fix base_include LTAC parts.	Maxime Dénès

2017-07-28	Merge PR #889: Removing template polymorphism for definitions.	Maxime Dénès

2017-07-28	Merge PR #888: Stronger kernel types	Maxime Dénès

2017-07-28	Merge PR #823: Async off in Windows by default in CoqIDE	Maxime Dénès

2017-07-28	Merge PR #782: Update API for fiat	Maxime Dénès

2017-07-28	Fix documentation of Hint Mode (bug #4911).	Guillaume Melquiond

2017-07-28	Fix shuffled documentation.	Guillaume Melquiond

2017-07-28	Merge PR #852: Makefile: fails if some .vo or .cm* file has no source	Maxime Dénès

2017-07-27	Add missing paragraph to introduction	Benjamin Pierce

2017-07-27	Fixing bug #5671 (specialize unclean wrt Metas).	Hugo Herbelin

2017-07-27	Extraction.tex: mention the possible "From Coq Require Extraction"	letouzey

2017-07-27	Extraction TestCompile documented + mentionned in CHANGES	Pierre Letouzey
	Also includes a minor fix of the Extraction doc (a Require was missing).
2017-07-27	test-suite: more use of the new command Extraction TestCompile	Pierre Letouzey

2017-07-27	[toplevel] Remove long ago deprecated and NOOP options.	Emilio Jesus Gallego Arias
	Minor clean up, no sense in having these as they do nothing.
2017-07-27	[make] remove compat5 file.	Emilio Jesus Gallego Arias
	It is empty and not used anymore.
2017-07-27	[api] Fix base_include LTAC parts.	Emilio Jesus Gallego Arias

2017-07-27	deprecate Pp.std_ppcmds type alias	Matej Košík