src/Tools/8bit/doc/Set2.dvi
author paulson
Mon, 21 Oct 1996 11:37:21 +0200
changeset 2119 1d8ae796f3bf
parent 1826 2a2c0dbeb4ac
permissions -rw-r--r--
Mentions the possibility of pathnames in ISABELLECOMP;

(binary:application/x-dvi)