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