diff options
| author | Hugo Herbelin | 2020-02-23 18:03:13 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-02-23 18:10:10 +0100 |
| commit | 858f8dba967713692662f23c79d8c33f2d362e91 (patch) | |
| tree | 49ac4cf9defd98316091f6b7ad6623d0862dc4ca /kernel/float64.ml | |
| parent | 267f981c5c05cd795e08ea14aaeab5a49550d21b (diff) | |
Cancelling precedences in Set Printing Parentheses only at border of notations.
Diffstat (limited to 'kernel/float64.ml')
0 files changed, 0 insertions, 0 deletions