/src/Tools/8bit/c-sources/isa2latex/ Isabelle94-6
drwxr-xr-x [up]
-rw-r--r-- 1996-07-16 15:49 +0200 1158 Makefile
-rw-r--r-- 1996-07-16 15:49 +0200 1181 conv-defs.h
-rw-r--r-- 1996-07-16 15:49 +0200 10354 conv-lex.x
-rw-r--r-- 1996-07-16 15:49 +0200 6949 conv-main.c
-rw-r--r-- 1996-07-16 15:49 +0200 7028 conv-tables.h
-rw-r--r-- 1996-07-16 15:49 +0200 1116 conv-translate.c
-rwxr-xr-x 1996-07-16 15:49 +0200 35844 isa2latex