aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/ssr/ssrfun.v
Commit message (Collapse)AuthorAge
* Merge PR #6911: [ssr] Declare prenex implicits for `Some_inj`Gravatar Maxime Dénès2018-03-07
|\
* \ Merge PR #6855: Update headers following #6543.Gravatar Maxime Dénès2018-03-05
|\ \
| | * ssr: add Prenex Implicits for Some_inj to use it as a viewGravatar Anton Trunov2018-03-04
| | |
| | * ssr: fix typo in doc commentGravatar Anton Trunov2018-03-04
| |/ |/|
* | Turn warning for deprecated notations on.Gravatar Théo Zimmermann2018-03-02
| | | | | | | | Fix new deprecation warnings in the standard library.
| * Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
|/
* Merge the ssr plugin.Gravatar Maxime Dénès2017-06-06