Proxima

Center
<a href="http://www.cs.uu.nl/research/projects/proxima/">
<img alt="" src="/groups/ST/images/xml.gif" border=0 align=right>
<font size=0><b>PROXIMA</b> - A generic presentation-oriented editor for structured documents</font>
</a>

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

Proxima is a _generic_ editor: it can be used for _arbitrary_ [[http://www.w3.org/XML/][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:
   * [[http://www.cs.uu.nl/research/projects/proxima/why.html][Why Proxima?]]
   * [[http://www.cs.uu.nl/research/projects/proxima/requirements.html][Requirements for Proxima]]
   * [[http://www.cs.uu.nl/research/projects/proxima/components.html][Components for Proxima]]

---+++ Present status
   * The design is described in Martijn Schrage's Ph.D. thesis: _<a href="http://www.cs.uu.nl/research/projects/proxima/thesis.pdf">Proxima: a presentation-oriented editor for structured documents</a>_ (PDF, 1.8Mb)
   * There is a working prototype that can be used for experimentation

---+++ Proxima screenshots

<img alt="" src="http://www.cs.uu.nl/~rui/ProximaDemo/pics/treeXmlPres.jpg" width="300" border=0 align=right></img>

   * [[http://www.cs.uu.nl/~rui/ProximaDemo/complex.html][Complex Presentation]]
      * Tree and Xml Presentation
      * Equation and Chess
      * Slides

   * [[http://www.cs.uu.nl/~rui/ProximaDemo/computation.html][Computations in Presentations]]
      * Helium Type checker 
      * Helium's Error Message

   * [[http://www.cs.uu.nl/~rui/ProximaDemo/presentation.html][Presentation-oriented editing]]
      * Typing and text Editing

   * [[http://www.cs.uu.nl/~rui/ProximaDemo/document.html][Document-oriented editing]]
      * Navigation over the structure
      * Integrated structural editing
      * Beta Reduction

---+++ People:
   * Prof Dr Main.JohanJeuring <johanj@cs.uu.nl> 
   * Prof Main.LambertMeertens <lambert@kestrel.edu> 
   * Dr Main.MartijnSchrage <martijn@cs.uu.nl> 
   * Prof Dr Main.DoaitseSwierstra <doaitse@cs.uu.nl>