| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| FileFormat.json | JavaScript Object Notation | 1 | 183b | 2000-07-31 |
| Keywords.json | JavaScript Object Notation | 1 | 167b | 2000-07-31 |
| Object-Keyword.json | JavaScript Object Notation | 1 | 77b | 2000-07-31 |
| Objects.json | JavaScript Object Notation | 1 | 281b | 2000-07-31 |