coq - The formal proof system

Age	Commit message (Collapse)	Author
2021-03-30	Remove the :> type cast	Jim Fehrle

2021-03-08	Convert 2nd part of rewriting chapter to prodn	Jim Fehrle

2020-12-30	Convert rewriting and proof-mode chapters to prodn	Jim Fehrle

2020-12-03	[refman] Fix error names.	Théo Zimmermann
	The @ syntax is not supported in the name, so we transform it manually as it would have been if no name had been provided.
2020-11-27	Merge PR #12586: [declare] Allow custom typing flags when declaring constants.	coqbot-app[bot]
	Reviewed-by: SkySkimmer Reviewed-by: Zimmi48 Reviewed-by: gares Reviewed-by: herbelin Ack-by: jfehrle
2020-11-27	Improved error message on nested proofs	Fabian Kunze
	to include most common reason when this happens on accident
2020-11-26	[attributes] [typing] Rename `typing` to `bypass_check`	Emilio Jesus Gallego Arias
	As discussed in the Coq meeting.
2020-11-26	[attributes] [doc] Documentation review by Théo.	Emilio Jesus Gallego Arias
	Co-authored-by: <Théo Zimmermann <theo.zimmermann@inria.fr>
2020-11-18	[attributes] Deprecate `attr(true)` syntax in favor of booelan attributes.	Emilio Jesus Gallego Arias
	We introduce a warning so boolean attributes are expected to be of the form `attr={yes,no}` or just `attr` (for `yes`). We update the documentation, test-suite, and changelog.
2020-11-14	Move destructuring let syntax closer to its documentation.	Théo Zimmermann

2020-11-09	[refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina.	Théo Zimmermann
	The smallcaps rendering was inexistent in the PDF version and did not look good in the HTML version.
2020-11-02	[doc] attribute #[using]	Enrico Tassi

2020-10-24	Convert misc chapters to prodn	Jim Fehrle

2020-10-20	Add some missing smallcaps.	Théo Zimmermann

2020-06-08	Convert Ltac chapter to prodn	Jim Fehrle

2020-05-14	Reintroduce leftover parts; update index files; small fixes.	Théo Zimmermann

2020-05-14	Merge definitions and type casts in same file.	Théo Zimmermann

2020-05-14	Create new file on Definitions.	Théo Zimmermann

2020-05-14	Add type casts to new Definitions file.	Théo Zimmermann