| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-05-23 | Fixing typos - Part 2 | JPR |
| 2019-04-30 | fix `simpl_rel` and notations, `{pred T}` alias, `nonPropType` interface | Georges Gonthier |
| 2019-02-28 | Implement a method for manual declaration of implicits. | Jasper Hugunin |
| 2018-12-19 | Put #[universes(template)] on all auto template spots in stdlib | Gaëtan Gilbert |
| 2018-11-14 | Deprecate hint declaration/removal with no specified database | Maxime Dénès |
| 2018-11-07 | [doc] nodes in ssr are monospace | Enrico Tassi |
| 2018-11-07 | multi line comments don't have a title | Enrico Tassi |
| 2018-11-07 | [doc] adapt comments in plugins/ssr/*.v to coqdoc style | Enrico Tassi |
| 2018-07-25 | Replace all the CoInductives with Variants in the SSR plugin | Kazuhiko Sakaguchi |
| 2018-02-27 | Update headers following #6543. | Théo Zimmermann |
| 2017-06-06 | Merge the ssr plugin. | Maxime Dénès |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |