| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| english/ | H | 31-Jan-1992 | - | 81 | 72 | |
| german/ | H | 31-Jan-1992 | - | 142 | 127 | |
| din.ist | H A D | 31-Jan-1992 | 1 KiB | 46 | 41 | |
| icase.ist | H A D | 31-Jan-1992 | 811 | 45 | 43 | |
| latex.ist | H A D | 31-Jan-1992 | 364 | 21 | 19 | |
| math.ist | H A D | 31-Jan-1992 | 2.5 KiB | 98 | 94 | |
| mkind.ist | H A D | 31-Jan-1992 | 587 | 33 | 27 | |
| puncts.ist | H A D | 31-Jan-1992 | 1.2 KiB | 58 | 55 | |
| tex.ist | H A D | 31-Jan-1992 | 606 | 34 | 28 |