diff options
| author | Pierre-Marie Pédrot | 2020-10-16 14:04:48 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-10-16 14:04:48 +0200 |
| commit | e583be62b74d71b5af159700e3a31f78fec9a7d2 (patch) | |
| tree | 3bf2e4c4a72e2bcae402ef20a950c286469c2b10 /interp/notation.mli | |
| parent | 671262d6691897c70df68a88a8b37a895c0f976d (diff) | |
| parent | f24aa027fcba094e2cea08370c4a583e1c1da827 (diff) | |
Merge PR #13195: Add support for "typeclasses eauto bfs <int_or_var_opt>"
Reviewed-by: ppedrot
Diffstat (limited to 'interp/notation.mli')
0 files changed, 0 insertions, 0 deletions