![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| world3.ps | 2003-06-11 11:28 | 63K | |
| world2.ps | 2003-06-11 11:28 | 75K | |
| world1.ps | 2003-06-11 11:28 | 208K | |
| wator.tex | 2003-06-11 11:28 | 626 | |
| wator.ps | 2003-06-11 11:28 | 756K | |
| wator.log | 2003-06-11 11:28 | 1.3K | |
| slides.tex | 2003-06-11 11:28 | 590 | |
| slides.ps | 2003-06-11 11:28 | 186K | |
| slides.log | 2003-06-11 11:28 | 1.2K | |
| max.ps | 2003-06-11 11:28 | 113K | |
| load3.ps | 2003-06-11 11:28 | 139K | |
| load2.ps | 2003-06-11 11:28 | 137K | |
| load1.ps | 2003-06-11 11:28 | 111K | |
| jim.tex | 2003-06-11 11:28 | 7.4K | |
| heat3.ps | 2003-06-11 11:28 | 15K | |
| heat2.ps | 2003-06-11 11:28 | 18K | |
| heat1.ps | 2003-06-11 11:28 | 9.5K | |