aboutsummaryrefslogtreecommitdiff
path: root/test-suite/success/QArithSyntax.v
AgeCommit message (Expand)Author
2020-01-28Fix #11467Pierre Roux
2019-04-02Add a Numeral Notation for QArith (e.g., 1.02e+01%Q for 102 # 10)Pierre Roux
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 14:50:10 +0000