3 img_extensions=.eps .jpg .jpeg .png .pdf .ps .fig .gif
6 lastDocument=developers.tex
10 pkg_extensions=.cls .sty
12 src_extensions=.tex .ltx .latex .dtx .ins
27 [item:daemonprotocol.tex]
36 [item:developers.kilepr]
81 [item:generaldevel.tex]
99 [item:gui-interface.tex]
117 [item:mediaformat.tex]
135 [item:netprotocol.tex]
144 [item:platformsupport.tex]
171 [item:regression.tex]
198 [item:tls-techdoc.tex]