![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/script.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| mkinstalldirs | 2000-07-20 18:53 | 649 | |
| ligatex.man | 2000-11-26 14:02 | 3.8K | |
| ligatex.l | 2000-11-26 16:19 | 18K | |
| install.sh | 2000-07-20 18:53 | 2.1K | |
| getopt1.c | 2000-07-20 18:53 | 4.1K | |
| getopt.h | 2000-07-20 18:53 | 4.5K | |
| getopt.c | 2000-07-20 18:53 | 29K | |
| configure.in | 2000-07-20 18:53 | 641 | |
| configure | 2000-11-26 16:11 | 45K | |
| common.c | 2000-11-25 15:30 | 1.7K | |
| Makefile.in | 2000-11-26 16:11 | 2.1K | |
| Makefile | 2000-11-26 16:12 | 2.1K | |
| LIZENZ | 2000-07-20 18:53 | 26K | |
| LIESMICH | 2000-11-23 23:33 | 1.1K | |
| Changes | 2000-11-26 16:16 | 673 | |
| COPYING | 2000-07-20 18:52 | 15K | |