aboutsummaryrefslogtreecommitdiff
path: root/test-suite/success/NumberScopes.v
AgeCommit message (Expand)Author
2014-07-09Arith: full integration of the "Numbers" modular frameworkPierre Letouzey
2013-07-17More dynamic argument scopesletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 18:25:52 +0000