| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-12-19 | Put #[universes(template)] on all auto template spots in stdlib | Gaëtan Gilbert |
| 2018-12-18 | [ssr] extended intro patterns: + > [^] /ltac: | Enrico Tassi |
| 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-10-24 | [ssreflect] Better use of Coqlib | Vincent Laporte |
| 2018-09-10 | Adapting standard library to the introduction of "Declare Scope". | Hugo Herbelin |
| 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 |