[Telepathy-commits] merge: telepathy-spec

[Merge Monkey]

Merge to:

  telepathy-spec

From:

  /home/alp/public_html/darcs/telepathy-spec-tptype

Changes:

  Alp Toker <alp.toker at collabora.co.uk>
    Introduce tp:type attribute

This patch provides markup for arg types. It does not attempt to mark up
struct members or dictionaries -- those changes will require more work,
but this patch covers the bulk of the spec and will already be useful
for code generation and formal verification.