Merge pull request #111 from mit-pdos/tchajed/rename-mutex-methods #184
Annotations
1 warning
|
Run coq-community/docker-coq-action@v1:
external/iris/iris/bi/notation.v#L36
Closed notations (i.e. starting and ending with a terminal symbol) should usually be at level 0 (default).
|
Loading