| Name | # Files | Name | # Files | |
|---|---|---|---|---|
| search | 2 | viewers | 8 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| contents.rdf | Extensible Markup Language | 22 | 726b | 2003-08-16 |
| editing.dtd | Text File | 17 | 581b | 2003-08-16 |
| inspector.dtd | Text File | 62 | 2KB | 2003-08-16 |
| inspector.properties | Text File | 69 | 3KB | 2003-08-16 |
| prefs.dtd | Text File | 15 | 825b | 2003-08-16 |
| tasksOverlay.dtd | Text File | 8 | 233b | 2003-08-16 |