Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
tactics.v
Find file
Blame
History
Permalink
tactics.v: Fix parsing precedence for `select` tactic
· 6eb05dfc
Paolo G. Giarrusso
authored
May 06, 2020
6eb05dfc