| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-07-10 | Minor renamings in JSON format | John J. Camilleri | |
| 2019-07-10 | Address @heatherleaf's suggestions | John J. Camilleri | |
| 2019-07-07 | Whitespace fixes | John J. Camilleri | |
| 2019-07-07 | Finish compile to PGF JSON, including JSON schema for resulting format. | John J. Camilleri | |
| 2019-07-03 | Finish JSON conversion for abstract | John J. Camilleri | |
| 2019-07-03 | Start work on PGFtoJSON module. Add compiler flag `-f json`. | John J. Camilleri | |
