Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
logo27.eps | 2000-11-28 15:35 | 9.1K | ||
logo27.fig | 2000-11-28 15:35 | 3.3K | ||
olddubner.pdf | 2000-11-28 15:52 | 160K | ||
olddubner.tex | 2012-09-09 14:10 | 26K | ||
makeit | 2012-09-09 14:10 | 125 | ||
transfer | 2012-09-09 14:14 | 72 | ||
extract | 2012-09-09 14:14 | 95 | ||
extract2 | 2012-09-09 14:14 | 163 | ||
extract3 | 2012-09-09 14:14 | 32 | ||
extract4 | 2012-09-09 14:14 | 58 | ||
foo | 2012-09-09 14:14 | 176 | ||
foo2 | 2012-09-09 14:14 | 396 | ||
foo3 | 2012-09-09 14:14 | 1.0K | ||
dubner.tex | 2012-09-09 14:15 | 24K | ||
dubner.html | 2012-09-09 14:15 | 2.7K | ||
dubner.bbl | 2012-09-09 14:16 | 359 | ||
dubner.blg | 2012-09-09 14:16 | 1.2K | ||
dubner.aux | 2012-09-09 14:16 | 1.5K | ||
dubner.out | 2012-09-09 14:16 | 133 | ||
dubner.dvi | 2012-09-09 14:16 | 60K | ||
dubner.log | 2012-09-09 14:16 | 12K | ||
dubner.ps | 2012-09-09 14:16 | 301K | ||
dubner.pdf | 2012-09-09 14:16 | 87K |