--rw-rw-r-- M 53 bootes sys 9651 Apr 5 1999 mini-art.tex --rw-rw-r-- M 53 bootes sys 10304 Apr 5 1999 minitoc-ex.tex --rw-rw-r-- M 53 bootes sys 3913 Apr 5 1999 minitoc.bug --rw-rw-r-- M 53 bootes sys 35916 Apr 5 1999 minitoc.dvi Go to parent directory