Pda is a graphical editor and support tool for deriving
protocols. These pages are under construction; some sections are
incomplete, others are entirely missing, or in a very early
construction phase. Partly this reflects the reality of a rapidly
changing interface. Please do not hesitate to contact us to identify
problems or inquire about unclear or incomplete documentation.