We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
syntax highlighting (part 3)
fix wiki links (no more ../)
conversion from rst to markdown via pandoc
Converted to reStructuredText via moin2rst
converted to 1.6 markup
No commit message
ringreplace LHS & RHS have been subsumed by my general replace LHS & RHS tactics
Bug in ringreplace.
sp
modularity
Tactic Notation ringreplace for LHS and RHS
Tactic Notation definition of ringreplace