Name Last modified Size Description![[PARENTDIR]](/strapdown/icons/glyphicon-circle-arrow-up.svg){kind=icon}
Parent Directory -
![[TXT]](/strapdown/icons/glyphicon-file.svg){kind=icon}
varindex.dtx 2001-05-09 07:29 199K
varindex.ins 2000-11-17 10:46 770
![[ ]](/icons/layout.gif){kind=icon}
varindex.pdf 2005-07-18 08:30 333K