# Annotations

The goal of Transmorpher is to have an intelligible expression of
transformations. It should provide in the near future the
opportunity to annotate the various components of the
transformations. Among these annotations, there should be
assertions of properties satisfied by transformations (terminates,
returns a document satisfying some particular DTD, preserves the
order of some elements, etc.). We also consider adding the
mathematical proofs of these properties.

This will be developed later as an extension.

## Assertions

## Proofs

**Next chapter: Getting started with Transmorpher**

Feel free to comment to Jérôme:Euzenat#inrialpes:fr,
$Id: annot.html,v 1.6 2005-10-25 13:34:00 euzenat Exp $