/src/Tools/8bit/man/man1/ Isabelle94-7
drwxr-xr-x [up]
-rw-r--r-- 1996-11-13 10:47 +0100 1686 a2isa.1
-rwxr-xr-x 1996-11-13 10:47 +0100 737 gen-isa2latex.1
-rwxr-xr-x 1996-11-13 10:47 +0100 1027 gen-isadoc.1
-rw-r--r-- 1996-11-13 10:47 +0100 4821 isa2latex.1
-rwxr-xr-x 1996-11-13 10:47 +0100 507 isapal.1
-rwxr-xr-x 1996-11-13 10:47 +0100 819 patcher.1