Name Last modified Size Description
Parent Directory -
configure 26-Nov-2000 17:11 45K
getopt.c 20-Jul-2000 19:53 29K
LIZENZ 20-Jul-2000 19:53 26K
ligatex.l 26-Nov-2000 17:19 18K
COPYING 20-Jul-2000 19:52 15K
getopt.h 20-Jul-2000 19:53 4.5K
getopt1.c 20-Jul-2000 19:53 4.1K
ligatex.man 26-Nov-2000 15:02 3.8K
Makefile 26-Nov-2000 17:12 2.1K
install.sh 20-Jul-2000 19:53 2.1K
Makefile.in 26-Nov-2000 17:11 2.1K
common.c 25-Nov-2000 16:30 1.7K
README 24-Nov-2000 00:34 1.1K
LIESMICH 24-Nov-2000 00:33 1.1K
Changes 26-Nov-2000 17:16 673
mkinstalldirs 20-Jul-2000 19:53 649
configure.in 20-Jul-2000 19:53 641
Apache/2.2 Server at ftp.ntua.gr Port 80