| Name | Size* | Date UTC | Notes |
|---|---|---|---|
| 8terminal.tex | 0 bytes | 2008-Sep-06 | |
| READMe | 1 KiB | 2008-Sep-07 | |
| trip.fot | 2 KiB | 2008-Sep-07 | |
| trip.fot.diff | 77 bytes | 2008-Sep-07 | |
| trip.log | 180 KiB | 2008-Sep-06 | |
| trip.log.diff | 500 bytes | 2008-Sep-06 | |
| trip.pl | 17 KiB | 2008-Sep-06 | |
| trip.pl.diff | 0 bytes | 2008-Sep-06 | |
| trip.typ | 18 KiB | 2008-Sep-06 | |
| trip.typ.diff | 133 bytes | 2008-Sep-06 | |
| tripin.log.diff | 281 bytes | 2008-Sep-06 | |
| tripos.tex | 59 bytes | 2008-Sep-06 | |
| tripos.tex.diff | 0 bytes | 2008-Sep-07 |
*File sizes in kibibytes.