Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 06-Dec-2002 12:00 -
![[ ]](/icons/compressed.gif){kind=icon}
usergrps.ps.gz 02-Nov-1995 00:00 107k
![[TXT]](/icons/text.gif){kind=icon}
gutenberg-jan95.tex 02-Feb-1995 00:00 13k
usergrps.tex 02-Nov-1995 00:00 7k
![[ ]](/icons/dvi.gif){kind=icon}
usergrps.dvi 02-Nov-1995 00:00 5k