;
;  $Id$
;
;  Copyright (c) 2001, RIACA, Eindhoven University of Technology (TU/e).
;  All Rights Reserved.
;
                        README
                        ------


This is the RIACA taglib project. The sub-projects are:

-commomfiles: this subdirectory contains files that are common to all
              projects: like omlib.jar and the XLT files needed to
              generate the documentation for each tag library.

-cast: contains tags to cast OpenMath objects.
-context: the tag library for handlying context in mathdox documents (used in IDA).
-coq: a still "raw" tag library for accessing Coq form withing a JSP page.
-mathml: a tag library to use the mathml phrasebook.
-omcore: a tag library containing tags to work with ROML object in JSP pages.
-polyparser: a tag library that allows to parse polynomials onto OpenMath.
-socket: is a tag library for interacting with socket based services and 
         phrasebooks. Gap and Mathematica are so far the only supported 
         phrasebooks.
-util:  is a tag library  constaining some utility tags that help 
        developing JSP pages. 

-webapp: the skeleton of a web application illustrating the use of our tag 
         libraries. To get the fully functional WEB application just type
         sh build.sh webapp at the top taglib directory. The result 
         will be found at build/doc/webapp. (this command triggers the 
         building of all tag libraries).

E.R.B