| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| misc.dtd | Text File | 16 | 776 b | 2009-09-25 |
| pref-appearance.dtd | Text File | 13 | 467 b | 2009-08-15 |
| pref-filetype.dtd | Text File | 6 | 183 b | 2008-04-15 |
| pref-tabmix.dtd | Text File | 276 | 15.1 KB | 2009-10-01 |
| session-manager.properties | Text File | 106 | 6.4 KB | 2008-12-03 |
| tabmix.dtd | Text File | 131 | 5.6 KB | 2009-09-19 |
| tabmix.properties | Text File | 41 | 2.8 KB | 2009-08-30 |