barrier/heap_lang.v · 161e23caa72d632d6bc308669674f4d8e10e95e6 · Janno / iris-coq · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

9 years ago
161e23ca
No need to 'Set Bullet Behavior' everywhere. · 161e23ca
Robbert Krebbers authored 9 years ago
```
Since ssr ad273277 the Global Set Bullet Behavior in modures.base
should do the job.
```
161e23ca

History
No need to 'Set Bullet Behavior' everywhere.
Robbert Krebbers authored 9 years ago
```
Since ssr ad273277 the Global Set Bullet Behavior in modures.base
should do the job.
```