diff options
| author | Maxime Dénès | 2018-02-28 10:05:49 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-02-28 10:05:49 +0100 |
| commit | 35aa5686aa5352dfdb62002db56720c1d3e144ce (patch) | |
| tree | c17f1b86335ce15766555bb468025b93c0e26ffc /pretyping/typeclasses_errors.ml | |
| parent | 5213bcdfd2baa5e2e652eaa63fff8d3268959489 (diff) | |
| parent | 4a7d2e906c79fcae452d44ec12de8037d2843fbc (diff) | |
Merge PR #6788: Fixes #6787 (minus sign interpreted by coqdoc as a bullet in Ring_theory.v)
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions