Name Last modified Size Parent Directory - dottex.dtx 2007-08-22 20:26 13K dottex.ins 2005-08-07 20:32 3.6K dottex.pdf 2007-08-22 20:26 94K example.tex 2006-04-03 00:49 256 gpl.txt 2005-08-07 23:31 15K