Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
docs
proof_mode.md
Find file
Blame
History
Permalink
Document `%H` pattern.
· 7b1c37df
Robbert Krebbers
authored
Apr 07, 2020
This closes issue #305.
7b1c37df