tmp/tmpv1evq0z1/{from.md → to.md}
RENAMED
|
@@ -2,12 +2,11 @@
|
|
| 2 |
|
| 3 |
``` bnf
|
| 4 |
pp-number:
|
| 5 |
digit
|
| 6 |
'.' digit
|
| 7 |
-
pp-number
|
| 8 |
-
pp-number identifier-nondigit
|
| 9 |
pp-number ''' digit
|
| 10 |
pp-number ''' nondigit
|
| 11 |
pp-number 'e' sign
|
| 12 |
pp-number 'E' sign
|
| 13 |
pp-number 'p' sign
|
|
|
|
| 2 |
|
| 3 |
``` bnf
|
| 4 |
pp-number:
|
| 5 |
digit
|
| 6 |
'.' digit
|
| 7 |
+
pp-number identifier-continue
|
|
|
|
| 8 |
pp-number ''' digit
|
| 9 |
pp-number ''' nondigit
|
| 10 |
pp-number 'e' sign
|
| 11 |
pp-number 'E' sign
|
| 12 |
pp-number 'p' sign
|