Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!895
Fix typo in appendix
Code
Review changes
Check out branch
Download
Patches
Plain diff
Tej Chajed
requested to merge
tchajed/iris-coq:fix-typo-in-appendix
into
master
Feb 17, 2023
Overview
2
Commits
1
Pipelines
1
Changes
1
Expand
Some instances of
\tau
should have been
\tau'
Merge request reports