| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| bbding10.org | 79.0 KiB | 1993-09-05 18:00:00 UTC+09:00 |
| bbding10.mf | 79.3 KiB | 1999-04-15 12:31:00 UTC+09:00 |
| bbding.pdf | 437.9 KiB | 2010-02-17 18:32:38 UTC+09:00 |
| bbding.ins | 281 B | 1996-06-21 18:00:00 UTC+09:00 |
| bbding.dtx | 31.3 KiB | 1999-04-19 02:45:00 UTC+09:00 |
| README | 736 B | 1999-04-15 12:28:00 UTC+09:00 |