Table of contents Goals Architecture Document model Document model (2) Document interfaces Thot languages Amaya Amaya-Java Testbed implementation Others Problems Conclusion