download all originals (max 1 GB)| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| while-1.m | Text File | 6 | 61 b | 1995-01-03 |
| while-2.m | Text File | 6 | 63 b | 1995-01-03 |
| while-3.m | Text File | 7 | 68 b | 1995-01-03 |
| while-4.m | Text File | 9 | 101 b | 1995-01-03 |
| while-5.m | Text File | 9 | 102 b | 1995-01-03 |
| while.exp | Text File | 20 | 288 b | 1995-01-03 |