- Jan 24, 2019
-
-
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Ralf Jung authored
-
Ralf Jung authored
tweak README See merge request FP/iris-coq!206
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
move everything contribution-related to CONTRIBUTING.md, and link to it from README See merge request FP/iris-coq!205
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
Make trivial instances explicit See merge request FP/iris-coq!204
-
Ralf Jung authored
-
Ralf Jung authored
-
Maxime Dénès authored
This is in preparation for coq/coq#9274.
-
- Jan 23, 2019
-
-
Ralf Jung authored
Added note about unicode asterisk to docs See merge request FP/iris-coq!203
-
Mackie Loeffel authored
-
Ralf Jung authored
A Coq bug printing spurious parentheses has been fixed. See merge request FP/iris-coq!197
-
Ralf Jung authored
-
- Jan 22, 2019
-
-
Hugo Herbelin authored
See Coq PR#9214.
-
Ralf Jung authored
Coq-version-specific ref files See merge request FP/iris-coq!202
-
- Jan 19, 2019
- Jan 18, 2019
-
-
Robbert Krebbers authored
-
- Jan 17, 2019
-
-
Robbert Krebbers authored
Copyedit the proof mode documentation See merge request FP/iris-coq!200
-
- Jan 15, 2019
-
-
Robbert Krebbers authored
This became broken after the nested iSpecialize MR.
-
- Jan 14, 2019
-
-
Tej Chajed authored
-
- Jan 13, 2019
-
-
Robbert Krebbers authored
Fix issue #206 Closes #206 See merge request FP/iris-coq!199
-
Robbert Krebbers authored
-
- Jan 11, 2019
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Allow `iSpecialize` to be nested. See merge request FP/iris-coq!198
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
