| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| README | 2719 | 19-Apr-1996 00:00 |
| flatten.c | 55K | 13-Nov-1995 00:00 |
| flatten.l | 28K | 13-Nov-1995 00:00 |
| flatten.ps | 389K | 19-Apr-1996 00:00 |
| flatten.tex | 18K | 19-Apr-1996 00:00 |
| getopt.c | 2915 | 13-Nov-1995 00:00 |
| getopt.h | 373 | 13-Nov-1995 00:00 |
| makefile | 2432 | 19-Apr-1996 00:00 |
| man | 3188 | 19-Apr-1996 00:00 |
| srchenv.c | 11K | 13-Nov-1995 00:00 |
| srchenv.h | 203 | 13-Nov-1995 00:00 |