![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ricci3.html | 2017-10-29 14:48 | 2.2K | |
| ricci3.tex | 2017-10-29 14:43 | 31K | |
| ricci3.pdf | 2017-10-29 14:39 | 140K | |
| ricci3.ps | 2017-10-29 14:39 | 491K | |
| ricci3.log | 2017-10-29 14:39 | 15K | |
| ricci3.dvi | 2017-10-29 14:39 | 84K | |
| ricci3.out | 2017-10-29 14:39 | 487 | |
| ricci3.aux | 2017-10-29 14:39 | 4.6K | |
| foo3 | 2017-10-29 14:04 | 138 | |
| foo2 | 2017-10-29 14:04 | 54 | |
| foo | 2017-10-29 14:04 | 24 | |
| logo129.eps | 2017-10-29 13:45 | 9.1K | |
| makeit | 2017-10-29 13:35 | 158 | |
| extract4 | 2017-10-29 13:34 | 58 | |
| extract3 | 2017-10-29 13:34 | 32 | |
| extract2 | 2017-10-29 13:34 | 163 | |
| extract | 2017-10-29 13:34 | 95 | |
| transfer | 2017-10-29 13:34 | 98 |