![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| WARNINGS | 26-May-2007 19:31 | 157 | |
| coling94.css | 26-May-2007 19:31 | 2.0K | |
| coling94.html | 26-May-2007 19:31 | 3.3K | |
| footnode.html | 26-May-2007 19:31 | 2.0K | |
| images.aux | 26-May-2007 19:31 | 8 | |
| images.bbl | 26-May-2007 19:31 | 1.3K | |
| images.log | 26-May-2007 19:31 | 5.6K | |
| images.pl | 26-May-2007 19:31 | 10K | |
| images.tex | 26-May-2007 19:31 | 18K | |
| img1.png | 26-May-2007 19:31 | 2.1K | |
| img2.png | 26-May-2007 19:31 | 3.0K | |
| img3.png | 26-May-2007 19:31 | 2.5K | |
| img4.png | 26-May-2007 19:31 | 1.0K | |
| img5.png | 26-May-2007 19:31 | 4.4K | |
| img6.png | 26-May-2007 19:31 | 3.1K | |
| img7.png | 26-May-2007 19:31 | 4.7K | |
| img8.png | 26-May-2007 19:31 | 2.2K | |
| img9.png | 26-May-2007 19:31 | 1.5K | |
| img10.png | 26-May-2007 19:31 | 3.8K | |
| img11.png | 26-May-2007 19:31 | 3.7K | |
| img12.png | 26-May-2007 19:31 | 4.5K | |
| img13.png | 26-May-2007 19:31 | 5.8K | |
| img14.png | 26-May-2007 19:31 | 1.6K | |
| img15.png | 26-May-2007 19:31 | 2.6K | |
| img16.png | 26-May-2007 19:31 | 3.0K | |
| img17.png | 26-May-2007 19:31 | 4.2K | |
| img18.png | 26-May-2007 19:31 | 1.7K | |
| img19.png | 26-May-2007 19:31 | 1.3K | |
| img20.png | 26-May-2007 19:31 | 1.8K | |
| img21.png | 26-May-2007 19:31 | 1.7K | |
| img22.png | 26-May-2007 19:31 | 1.6K | |
| img23.png | 26-May-2007 19:31 | 2.4K | |
| img24.png | 26-May-2007 19:31 | 801 | |
| img25.png | 26-May-2007 19:31 | 1.9K | |
| img26.png | 26-May-2007 19:31 | 3.2K | |
| img27.png | 26-May-2007 19:31 | 220 | |
| img28.png | 26-May-2007 19:31 | 219 | |
| img29.png | 26-May-2007 19:31 | 895 | |
| internals.pl | 26-May-2007 19:31 | 2.1K | |
| labels.pl | 26-May-2007 19:31 | 3.6K | |
| node1.html | 26-May-2007 19:31 | 2.1K | |
| node2.html | 26-May-2007 19:31 | 3.9K | |
| node3.html | 26-May-2007 19:31 | 3.5K | |
| node4.html | 26-May-2007 19:31 | 5.1K | |
| node5.html | 26-May-2007 19:31 | 2.0K | |
| node6.html | 26-May-2007 19:31 | 6.7K | |
| node7.html | 26-May-2007 19:31 | 4.7K | |
| node8.html | 26-May-2007 19:31 | 2.0K | |
| node9.html | 26-May-2007 19:31 | 8.2K | |
| node10.html | 26-May-2007 19:31 | 6.2K | |
| node11.html | 26-May-2007 19:31 | 2.9K | |
| node12.html | 26-May-2007 19:31 | 3.1K | |
| node13.html | 26-May-2007 19:31 | 2.3K | |