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

                                TODO
                                ----

 Things to be done
 -----------------

 May 1st, 2001
    * Add decoding of s_dist1
    * Add decoding of s_data1
    * Add decoding of rounding1
    * Let Exists/ForAll be checked by a Mathematica guru
    * Decode DirectedInfinity to Infinity * Direction (1/-1)
    * Add decoding of logic1
    * Let Limit be checked by a Mathematica guru
    * Fix decoding of Function (fns1)
    * Fix decoding of Product (arith1).
    * Fix decoding of Sum (arith1).

 April 17th, 2001
    * Check to the conformance to the OpenMath core CD's.

 Things completed
 ---------------
 
 April 23th, 2001
    * Added transc1 to the codec.

 April 17th, 2001
    * Write an INSTALL file.

 April 9th, 2001 
    * Added the README file.
    * Added this TODO file.