Proxima

PROXIMA - A generic presentation-oriented editor for structured documents

The Proxima project is concerned with the design and development of a generic presentation-oriented editor for structured documents.

Proxima is a generic editor: it can be used for arbitrary XML document types, described by DTDs or Schemas. The two most important features are

• support for specifying editable presentations of documents
• support for specifying computations

Proxima is a presentation-oriented editor: the user can edit the visual document presentation directly (WYSIWYG).

Proxima is an editor for structured documents: it understands the document structure and also supports structural edits. Proxima will eventually support the proposed recommendations for XLL (XLink + XPointer) and XPath, and implement the standards CSS and XSLT for specifying presentations and computations.

Project description:

• Why Proxima?
• Requirements for Proxima
• Components for Proxima

Present status

• The design is described in Martijn Schrage's Ph.D. thesis: Proxima: a presentation-oriented editor for structured documents (PDF, 1.8Mb)
• There is a working prototype that can be used for experimentation

Proxima screenshots

• Complex Presentation
  • Tree and Xml Presentation
  • Equation and Chess
  • Slides

• Computations in Presentations
  • Helium Type checker
  • Helium's Error Message

• Presentation-oriented editing
  • Typing and text Editing

• Document-oriented editing
  • Navigation over the structure
  • Integrated structural editing
  • Beta Reduction

People:

• Prof Dr JohanJeuring <johanj@cs.uu.nl>
• Prof LambertMeertens <lambert@kestrel.edu>
• Dr MartijnSchrage <martijn@cs.uu.nl>
• Prof Dr DoaitseSwierstra <doaitse@cs.uu.nl>