| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | data_spec.org | 3907 | logplain |
| -rw-r--r-- | data_spec.pdf | 92033 | logplain |
| -rw-r--r-- | data_spec.tex | 4925 | logplain |
| -rw-r--r-- | design.org | 19837 | logplain |
| -rw-r--r-- | design.pdf | 350221 | logplain |
| -rw-r--r-- | design.tex | 22703 | logplain |
| d--------- | diagrams | 462 | logplain |
| -rw-r--r-- | manual.org | 9897 | logplain |
| -rw-r--r-- | manual.pdf | 186518 | logplain |
| -rw-r--r-- | manual.tex | 11974 | logplain |
