Skip to content
GitLab
Explore
Sign in
Janno
iris-coq
Repository
iris
proofmode
spec_patterns.v
Find file
Blame
History
Permalink
ProofMode intro patterns: accept _ as part of variable names
· 8239ab05
Ralf Jung
authored
Nov 24, 2016
8239ab05