diff options
| author | Jim Fehrle | 2018-12-21 14:14:05 -0800 |
|---|---|---|
| committer | Jim Fehrle | 2019-01-23 10:37:31 -0800 |
| commit | ab7639ed91da9726f5248d9939db70df9ea18282 (patch) | |
| tree | 640a95dcc3d1bd8467e4b5ea5bb133538ce556aa /lib | |
| parent | 0c3d8cab0c970778ed502a33c6d3ad5b444c2e68 (diff) | |
Move and rewrite documentation for intro patterns that was under
the intros tactic to its own subsection. Add grammar and examples.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions