Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
unif91.dvi | 2001-10-02 13:19 | 10K | ||
rta91.dvi | 2001-10-02 13:19 | 39K | ||
rap-inria1.dvi | 2001-10-02 13:19 | 37K | ||
pottier96euclide.ps.gz | 2001-10-01 22:20 | 56K | ||
RR-2750.ps.gz | 2001-09-19 09:04 | 160K | ||
RR-2224.ps.gz | 2001-09-19 08:50 | 88K | ||
Bastat-Sun/ | 2011-08-15 12:21 | - | ||
9609-LP-bastat2web.c | 2001-09-19 09:16 | 13K | ||
9404-LP-bastat.tar | 2001-09-19 09:15 | 592K | ||