ted.library

 TEDDetoke()          TEDError()          TEDGetCurrentLine()
 TEDGetFilename()     TEDGetFirstLine()   TEDGetJumpTable()
 TEDGetLabelCount()   TEDGetLabelList()   TEDSetCurrentLine()
 TEDSetFirstLine()    TEDSetJumpTable()   TEDSetLabelCount()
 TEDSetLabelList()
converted with guide2html by Kochtopf