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