| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | ARTICLE | 3114 | logplain |
| -rw-r--r-- | ARTICLE.2 | 6421 | logplain |
| -rw-r--r-- | CHANGES | 12990 | logplain |
| -rw-r--r-- | COPYING | 6438 | logplain |
| -rw-r--r-- | GENERAL | 1202 | logplain |
| -rw-r--r-- | HEURISTICS | 6024 | logplain |
| -rw-r--r-- | MAN-PAGE | 5208 | logplain |
