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

                                TODO
                                ----

 Things to be done
 November 3th, 2001
    * nums1Codec is implemented wrong. In encodeOMObject the check should be 
      OMApplication instead of OMSymbol for based_integer and rational. D.C.

 November 1th, 2001,
    * Interval in interval1Codec is not properly implemented.
 
 October 3th, 2001
    * Matrices and times do not behave properly. We are always translating 
      arith1.times as Times[] and this is wrong for matrices (you get component
      wise multiplication). E.R.B.

 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.