coq - The formal proof system

Age	Commit message (Expand)	Author
2019-02-13	Document how to add people to the contributors team.	Théo Zimmermann
2019-02-13	Refresh contributing guide.	Théo Zimmermann
2019-02-13	Merge PR #9564: Fix small errors in cic.rst (3rd)	Théo Zimmermann
2019-02-13	Merge PR #9553: Sphinx various fixing of failing commands	Théo Zimmermann
2019-02-13	Merge PR #9557: [ssreflect] Export more parsing witnesses.	Enrico Tassi
2019-02-13	Merge PR #9173: [tactics] Remove dependency of abstract on global proof state.	Maxime Dénès
2019-02-12	Merge PR #9548: Almost fully type-safe gramlib implementation	Emilio Jesus Gallego Arias
2019-02-12	Merge PR #9563: Improve the documentation of auto.	Clément Pit-Claudel
2019-02-12	Fix failing coqtops in syntax-extensions.rst	Gaëtan Gilbert
2019-02-12	Fix failing coqtops in tactics.rst	Gaëtan Gilbert
2019-02-12	Fix failing coqtops in ssreflect-proof-language.rst	Gaëtan Gilbert
2019-02-12	Fix failing coqtops in ltac.rst	Gaëtan Gilbert
2019-02-12	Fix failing coqtops in coqide.rst	Gaëtan Gilbert
2019-02-12	Fix failing coqtops in gallina-specification-language.rst	Gaëtan Gilbert
2019-02-12	Fix failing coqtops in gallina-extensions.rst	Gaëtan Gilbert
2019-02-12	Fix failing coqtops in coq-library.rst	Gaëtan Gilbert
2019-02-12	Fix failing coqtops in cic.rst	Gaëtan Gilbert
2019-02-12	Fix failing coqtops universe-polymorphism.rst	Gaëtan Gilbert
2019-02-12	Improve the documentation of auto.	Théo Zimmermann
2019-02-12	[tactics] Remove dependency of abstract on global proof state.	Emilio Jesus Gallego Arias
2019-02-12	Fix failing coqtops in ring.rst	Gaëtan Gilbert
2019-02-12	Fix failing coqtops in micromega.rst (the main one requires csdp)	Gaëtan Gilbert
2019-02-12	Fix failing coqtops in generalized-rewriting.rst	Gaëtan Gilbert
2019-02-12	Fix failing coqtops in extended-pattern-matching.rst	Gaëtan Gilbert
2019-02-12	Fix undefined SPHINX_DEPS when QUICK	Gaëtan Gilbert
2019-02-12	Fix doc for coqtop:: undo	Gaëtan Gilbert
2019-02-12	Increase sphinx recursion limit	Gaëtan Gilbert
2019-02-11	Merge PR #9551: Small typos in the documentation.	Théo Zimmermann
2019-02-11	Merge PR #9540: [ssr] keep user annotation on views (fix #9538)	Cyril Cohen
2019-02-11	[ssreflect] Export more parsing witnesses.	Emilio Jesus Gallego Arias
2019-02-11	Merge PR #9544: [coqargs] Minor refactoring of error functions.	Enrico Tassi
2019-02-11	Merge PR #9531: [test-suite] Improve test for async workers.	Enrico Tassi
2019-02-11	Small typos in the documentation.	Martin Bodin
2019-02-11	Almost fully type-safe implementation of camlp5.	Pierre-Marie Pédrot
2019-02-11	Further propagation of well-typedness in Grammar.	Pierre-Marie Pédrot
2019-02-11	Introduce a GADT of well-typed grammar entries in Grammar.	Pierre-Marie Pédrot
2019-02-11	Centralizing the calls to the global mutable grammar in Grammar.	Pierre-Marie Pédrot
2019-02-11	Specialize the intermediate types of the Grammar functor.	Pierre-Marie Pédrot
2019-02-11	Make Grammar truly functorial.	Pierre-Marie Pédrot
2019-02-11	Move most of Gramext into Grammar.	Pierre-Marie Pédrot
2019-02-11	Merge PR #9465: [Nix-CI] Add iris and lambda-rust	Maxime Dénès
2019-02-11	[coqargs] Minor refactoring of error functions.	Emilio Jesus Gallego Arias
2019-02-11	Merge PR #9541: [stm] -async-proofs-tac-j accepts only >= 1 (fix #9533)	Emilio Jesus Gallego Arias
2019-02-11	Merge PR #9543: [ocamldebug] Fix load order after gramlib refactoring.	Gaëtan Gilbert
2019-02-11	Merge PR #9522: Update link to refman for master branch.	Vincent Laporte
2019-02-11	[stm] -async-proofs-tac-j accepts only >= 1 (fix #9533)	Enrico Tassi
2019-02-11	[ssr] keep user annotation on views (fix #9538)	Enrico Tassi
2019-02-11	Use math mode more.	Tanaka Akira
2019-02-11	Use {LEFT,RIGHT} DOUBLE QUOTATION MARK.	Tanaka Akira
2019-02-11	Remove a space before closing double-quote.	Tanaka Akira