Index of /misc/tetex/latex/minitoc

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 catalog                 2004-12-20 15:44  278   
 add.tex                 2004-12-20 15:44  3.7K  
 mini-art.tex            2004-12-20 15:44  9.7K  
 minitoc.bug             2004-12-20 15:44   11K  
 minitoc-ex.tex          2004-12-20 15:44   11K  
 README                  2004-12-20 15:44   12K  
 minitoc.dvi             2004-12-20 20:30  135K

Apache/2.4.39 (Unix) Server at dev.cs.ovgu.de Port 80