Name Last modified Size Description Parent Directory 02-Dec-2002 18:09 - dotseqn.dtx 23-Mar-1995 00:00 14k readme 23-Mar-1995 00:00 1k