![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| hidl | 28-Apr-2000 10:12 | 544K | |
| idl | 28-Apr-2000 10:12 | 572K | |
| idlcpp | 28-Apr-2000 10:13 | 143K | |
| iordump | 28-Apr-2000 10:13 | 523K | |
| irdel | 28-Apr-2000 10:13 | 533K | |
| irfeed | 28-Apr-2000 10:12 | 540K | |
| irgen | 28-Apr-2000 10:13 | 547K | |
| irserv | 28-Apr-2000 10:12 | 549K | |
| jidl | 28-Apr-2000 10:12 | 574K | |
| nameserv | 28-Apr-2000 10:13 | 954K | |
| propserv | 28-Apr-2000 10:13 | 521K | |
| ridl | 28-Apr-2000 10:12 | 556K | |