diff options
| author | Reynald Affeldt | 2020-06-07 19:56:13 +0900 |
|---|---|---|
| committer | Reynald Affeldt | 2020-08-25 18:40:27 +0900 |
| commit | 3405ab8405e141dd0a28c72c8ca221ed6f50dfed (patch) | |
| tree | 581884bcf66f9dfc4b07b815379389e955391327 /plugins/syntax/float_syntax.ml | |
| parent | bd4791ff350bef9dc45b42b2ae77769625644c4f (diff) | |
tentative backport of ssrbool from MathComp 1.11
Diffstat (limited to 'plugins/syntax/float_syntax.ml')
0 files changed, 0 insertions, 0 deletions