![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| default.mgp | 03-Oct-2002 16:15 | 847 | |
| fig/ | 04-Oct-2002 14:50 | - | |
| lib/ | 08-Dec-2003 15:29 | - | |
| mgp | 03-Oct-2002 16:21 | 188K | |
| run | 04-Oct-2002 14:51 | 69 | |
| wap-mgp.tgz | 04-Oct-2002 14:54 | 258K | |
| wap.mgp | 03-Oct-2002 17:07 | 4.3K | |