| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| bbding10.org | 79.0 KiB | 1993-Sep-06 00:00 | |
| bbding10.mf | 79.3 KiB | 1999-Apr-15 18:31 | |
| bbding.pdf | 437.9 KiB | 2010-Feb-18 00:32 | |
| bbding.ins | 281 B | 1996-Jun-22 00:00 | |
| bbding.dtx | 31.3 KiB | 1999-Apr-19 08:45 | |
| README | 736 B | 1999-Apr-15 18:28 | |