diff options
| author | Pierre-Marie Pédrot | 2019-10-30 23:25:25 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-10-30 23:25:25 +0100 |
| commit | c907ed752e573a57518ffc5ea05807d0e7b3c453 (patch) | |
| tree | 4df655ecbce5003068e290ef500c7897cdddbe95 /plugins/syntax/float_syntax.ml | |
| parent | 55446694781674f4d4e74546fde54f3dbdea27bc (diff) | |
| parent | ce12efa08f576ee2b97818a7209df328836fc638 (diff) | |
Merge PR #11004: [test-suite] Test section-local mutual Fixpoint.
Reviewed-by: ppedrot
Diffstat (limited to 'plugins/syntax/float_syntax.ml')
0 files changed, 0 insertions, 0 deletions