diff options
| author | Vincent Laporte | 2019-10-23 10:00:01 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-10-31 14:10:52 +0000 |
| commit | 576dec25b30b0d1cceb7afa7768f86db7b7dbd25 (patch) | |
| tree | 30681fc4176a60ca1ad5b47fb767b605aedb7c6a /plugins/syntax/float_syntax.ml | |
| parent | 49f0201e5570480116a107765a867e99ef9a8bc6 (diff) | |
Zgcd_alt: use “lia” rather than “omega”
Diffstat (limited to 'plugins/syntax/float_syntax.ml')
0 files changed, 0 insertions, 0 deletions