Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
ProofMode.md
Find file
Blame
History
Permalink
Update ProofMode.md w.r.t. the changes to `iModIntro`.
· 3059ff86
Robbert Krebbers
authored
Feb 28, 2018
3059ff86