| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| CVS/ | - | 2022-Dec-18 00:27 |
| dtc-paper.bib | 1275 | 2015-Dec-04 15:30 |
| dtc-paper.tex | 27634 | 2015-Dec-04 15:30 |
| dts-format.txt | 4264 | 2015-Dec-04 15:30 |
| dt-object-internal.txt | 8833 | 2017-Jun-08 18:59 |
| manual.txt | 26790 | 2019-Dec-23 06:01 |