Tony Garnock-Jones
|
a9445b2ca7
|
Squeak Smalltalk mapping
|
2018-09-24 19:54:59 +01:00 |
|
Tony Garnock-Jones
|
e25b7dacbc
|
Improve (?) Erlang mapping
|
2018-09-24 19:54:52 +01:00 |
|
Tony Garnock-Jones
|
4237200210
|
Remove page-break override
|
2018-09-24 19:54:43 +01:00 |
|
Tony Garnock-Jones
|
3c7215397d
|
RFC7159 -> RFC8259
|
2018-09-24 19:12:43 +01:00 |
|
Tony Garnock-Jones
|
e438085e74
|
Tweaks; python mapping
|
2018-09-24 18:34:07 +01:00 |
|
Tony Garnock-Jones
|
96c46c19b4
|
Split out CSS; attempt to get section numbering (grrr!)
|
2018-09-24 16:45:39 +01:00 |
|
Tony Garnock-Jones
|
4716b4f4e9
|
Minor print layout tweaks, and minor content fixes
|
2018-09-24 16:08:48 +01:00 |
|
Tony Garnock-Jones
|
b656df8632
|
Tighten
|
2018-09-24 15:33:19 +01:00 |
|
Tony Garnock-Jones
|
a22ded2f16
|
Literal small integers
|
2018-09-24 14:09:26 +01:00 |
|
Tony Garnock-Jones
|
b4d4092b90
|
Trim and improve
|
2018-09-24 12:59:22 +01:00 |
|
Tony Garnock-Jones
|
b2eb53e664
|
Tweak print stylesheet
|
2018-09-24 10:36:10 +01:00 |
|
Tony Garnock-Jones
|
f2c2e4d39e
|
Tweaks for Chrome and for print
|
2018-09-23 22:56:36 +01:00 |
|
Tony Garnock-Jones
|
ff5cb65f5f
|
Fixes
|
2018-09-23 22:44:43 +01:00 |
|
Tony Garnock-Jones
|
00a69ae012
|
Progress
|
2018-09-23 22:35:00 +01:00 |
|
Tony Garnock-Jones
|
f2f57385ce
|
Many improvements
|
2018-09-23 18:14:58 +01:00 |
|
Tony Garnock-Jones
|
c23285781c
|
preserve.md based on codec.md which I'm about to check in
|
2018-09-23 14:37:20 +01:00 |