Name Last modified Size Parent Directory - ted.dtx 2008-03-07 23:01 52K ted.pdf 2008-03-07 23:02 140K ted-fr.pdf 2008-03-07 23:03 60K ted.sty 2008-03-07 23:07 10K