download all originals or converted (max 1 GB)| Name | Format | # Pages | Size | Date |
|---|---|---|---|---|
| gcc_st.dvi | Device Independent File | 50 | 188.8 KB | 1994-08-07 |
| gnushell.dvi | Device Independent File | 17 | 38.0 KB | 1994-08-07 |
| libcard.dvi | Device Independent File | 12 | 99.6 KB | 1994-08-07 |
| varcard.dvi | Device Independent File | 10 | 95.1 KB | 1994-08-07 |