| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-04-03 | Improve error messages for Set and Unset commands. | Théo Zimmermann | |
| In particular, the error messages do not mention anymore the notion of bool-valued options, since these are documented as flags and work quite differently from the rest of options. | |||
| 2018-07-26 | Add information to option type errors | Tej Chajed | |
| Print the expected and actual types for the option value (which is one of bool, int, or string). | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |