Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge PR #6911: [ssr] Declare prenex implicits for `Some_inj` | 2018-03-07 | |
|\ | |||
* \ | Merge PR #6855: Update headers following #6543. | 2018-03-05 | |
|\ \ | |||
| | * | ssr: add Prenex Implicits for Some_inj to use it as a view | 2018-03-04 | |
| | * | ssr: fix typo in doc comment | 2018-03-04 | |
| |/ |/| | |||
* | | Turn warning for deprecated notations on. | 2018-03-02 | |
| * | Update headers following #6543. | 2018-02-27 | |
|/ | |||
* | Merge the ssr plugin. | 2017-06-06 |