Tony Garnock-Jones
|
7861341951
|
Cosmetic.
|
2019-07-03 19:35:56 -04:00 |
Tony Garnock-Jones
|
4a70364eda
|
Initial draft text re annotations
|
2019-07-04 00:33:37 +01:00 |
Tony Garnock-Jones
|
0d0124f004
|
Remove comments, in prep for annotations replacing them
|
2019-07-01 21:31:49 +01:00 |
Tony Garnock-Jones
|
306e41843a
|
TODOs
|
2018-11-08 12:35:55 +00:00 |
Tony Garnock-Jones
|
10d8ce5c09
|
Delete misleading, incorrect, or unnecessary text
|
2018-11-08 12:35:50 +00:00 |
Tony Garnock-Jones
|
cf250b9245
|
More notes
|
2018-11-05 10:27:03 +00:00 |
Tony Garnock-Jones
|
9cb8ef45c9
|
Add TODO
|
2018-11-05 10:27:03 +00:00 |
Tony Garnock-Jones
|
f0379c525d
|
Prepare for annotations by disallowing @ in raw symbols
|
2018-10-08 21:24:40 +01:00 |
Tony Garnock-Jones
|
8dc6346c58
|
Special cases for label[...] and label{...}
|
2018-10-08 20:53:53 +01:00 |
Tony Garnock-Jones
|
c02e790f71
|
Allow dots to lead/fill raw symbols
|
2018-10-08 19:54:29 +01:00 |
Tony Garnock-Jones
|
e741ffef6d
|
Note re case-insensitivity
|
2018-09-30 21:12:17 +01:00 |
Tony Garnock-Jones
|
db5c890e1c
|
Simplify, repair, and regularise embedded binary values in textual syntax
|
2018-09-29 17:50:57 +01:00 |
Tony Garnock-Jones
|
83fa396b56
|
Rearrange repo
|
2018-09-29 17:27:59 +01:00 |