Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
agenda.txt | 1995-11-30 23:55 | 2.4K | ||
attendees.txt | 1995-11-30 23:55 | 2.6K | ||
by-person/ | 1995-12-01 11:43 | - | ||
intrpeople.txt | 1995-11-30 23:55 | 21K | ||
qed95rep.ps | 1995-12-05 10:32 | 295K | ||
qed95rep.ps.gz | 1995-12-05 10:32 | 112K | ||
qed95rep.tex | 1995-12-05 10:32 | 106K | ||
qed95rep.tex.gz | 1995-12-05 10:32 | 37K | ||