| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |