Skip to content

ProofMode intro patterns: accept _ as part of variable names

Ralf Jung requested to merge ralf/underscore into master

@robbertkrebbers beat this. ;)

Merge request reports