diff options
| author | Andreas Lynge | 2019-08-30 10:58:42 +0200 |
|---|---|---|
| committer | Andreas Lynge | 2019-08-30 12:21:59 +0200 |
| commit | cff295c4bbc796c4d838842795c324601a2a037c (patch) | |
| tree | 90c73e563edf1bf9bf6feb8ca4596e4f9d67da10 /doc/plugin_tutorial/tuto2 | |
| parent | 38aa59e1aa2edeca7dabe4275790295559751e72 (diff) | |
Make SSR congr tactic work on arrows in Type.
Matthieu Sozeau explained how to fix this.
Diffstat (limited to 'doc/plugin_tutorial/tuto2')
0 files changed, 0 insertions, 0 deletions