download all originals (max 1 GB)| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| abscode | Text File | 46 | 1.5 KB | 1992-11-16 |
| all | Text File | 12 | 201 b | 1992-11-16 |
| boxes | Text File | 38 | 1.1 KB | 1992-11-16 |
| gen | Text File | 34 | 1.1 KB | 1992-11-16 |
| support | Text File | 27 | 658 b | 1992-11-16 |
| typedefs | Text File | 102 | 3.8 KB | 1992-11-16 |
| wimpif | Text File | 44 | 1.2 KB | 1992-11-16 |
| wimpincls | Text File | 40 | 760 b | 1992-11-16 |