Index of /tex/lib

      Name                    Last modified       Size  Description


[DIR] Parent Directory        09-Jan-1995 03:20      -  
[DIR] app-defaults/           22-Mar-1994 04:53      -  
[DIR] mf/                     13-May-1994 19:30      -  
[DIR] tex/                    13-May-1994 19:27      -
Apache/1.3.41 Server at web.mit.edu Port 80