diff options
| author | Enrico Tassi | 2019-07-23 16:11:44 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2019-07-23 16:11:44 +0200 |
| commit | 00abd9ed2ac31d0655fa1f07a919b9739c8ec5fb (patch) | |
| tree | c4f1427306c7d45203fd21cd0f9e7ea5dd2d89e4 /doc/stdlib | |
| parent | ae82afbaebb7f3a328498d4cc541d299423a7637 (diff) | |
| parent | 0d2a8cb6cac3172fffe47703a811e9d8f288d0ed (diff) | |
Merge PR #10554: Do not rely on dummy TACTIC EXTEND for ssreflect tactics.
Reviewed-by: gares
Diffstat (limited to 'doc/stdlib')
0 files changed, 0 insertions, 0 deletions