coq - The formal proof system

Age	Commit message (Collapse)	Author
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-03-19	Interpret the Export modifier of Set and Unset as an attribute.	Théo Zimmermann
	Unfortunately, we cannot go further and parse Export as a legacy attribute because this syntax conflicts with the Export command.
2019-05-10	[Attributes] Allow explicit value for two-valued attributes	Vincent Laporte
	Attributes that enable/disable a feature can have an explicit value (default is enable when the attribute is present). Three-valued boolean attributes do not support this: what would `#[local(false)]` mean?
2018-11-02	Make attributes more general to make defining #[universes(...)] easy	Gaëtan Gilbert

2018-10-04	test-suite: cleaning	Vincent Laporte

2018-10-04	test-suite: rename a few files	Vincent Laporte