Rangi
|
531278961f
|
Require underscores to actually be digit separators (#1812)
Multiple, trailing, or next to decimal point are errors
|
2025-08-30 10:44:20 -04:00 |
|
Rangi
|
5d998ef483
|
Restrict custom binary and graphics digits (#1693)
* Restrict custom binary and graphics digits
* Update documentation
* Fix build error
|
2025-05-22 10:52:51 +02:00 |
|
Rangi
|
ec6d63bce3
|
Allow underscores in gfx literals (#951)
Fixes #950
|
2021-11-21 16:18:23 -05:00 |
|
Rangi
|
af530859f0
|
Allow underscores in numeric literals
Fixes #539
Changes \@'s output to start with "_u", not "_", so it will be valid within labels but not numerics
|
2020-12-10 15:34:21 +01:00 |
|