;
;  $Id$
;
;  Copyright (c) 1999-2002, RIACA, Technische Universiteit Eindhoven (TU/e).
;  All Rights Reserved.
;

                                TODO
                                ----

  20021204
	
	* Review code for fns1.domain.
	  Test 'fns1-domain-001.xml' fails.
	
	* Review code for fns1.identity.
	  Test 'fns1-identity-001.xml' fails.
	
	* Review code for fns1.image.
	  Test 'fns1-image-001.xml' fails.
	
	* Review code for fns1.inverse.
	  Test 'fns1-inverse-001.xml' fails.
	
	* Review code for fns1.left_compose.
	  Test 'fns1-left_compose-001.xml' fails.	
	
	* Review code for fns1.range.
	  Test 'fns1-range-001.xml' fails.	
	
	* Review code for interval1.integer_interval.
	  Test 'interval1-integer_interval-001.xml' fails.	
	
	* Review code for interval1.interval.
	  Test 'interval1-interval-001.xml' fails.
	
	* Review code for interval1.interval_cc.
	  Test 'interval1-interval_cc-001.xml' fails.	
	
	* Review code for interval1.interval_co.
	  Test 'interval1-interval_co-001.xml' fails.
	
	* Review code for interval1.interval_oc.
	  Test 'interval1-interval_oc-001.xml' fails.
	
	* Review code for interval1.interval_oo.
	  Test 'interval1-interval_oo-001.xml' fails.		
	
	* Review code for linalg1.transpose.
	  Test 'linalg1-transpose-001.xml' fails in linalg2.
	
	* Review code for linalg1.vector_selector.
	  Test 'linalg1-vector_selector-001.xml' fails in linalg2.
	
	* Review code for linalg2.matrix.
	  Test 'linalg2-matrix-001.xml' fails.
	
	* Review code for linalg2.matrixrow.
	  Test 'linalg2-matrixrow-001.xml' fails.
	
	* Review code for linalg2.vector.
	  Test 'linalg2-vector-001.xml' fails.
	
	* Review code for limit1.above.
	  Test 'limit1-above-001.xml' fails.
	
	* Review code for limit1.below.
	  Test 'limit1-below-001.xml' fails.
	
	* Review code for limit1.both_sides.
	  Test 'limit1-both_sides-001.xml' fails.
	
	* Review code for limit1.null.
	  Test 'limit1-null-001.xml' fails.
	
	* Review code for list1.list.
	  Test 'list1-list-001.xml' fails.	
	
	* Review code for list1.map.
	  Test 'list1-map-001.xml' fails.	
	
	* Review code for list1.suchthat.
	  Test 'list1-suchthat-001.xml' fails.	
	
	* Review code for logic1.and.
	  Test 'logic1-and-001.xml' fails.	
	
	* Review code for logic1.or.
	  Test 'logic1-or-001.xml' fails.	
	
	* Review code for logic1.xor.
	  Test 'logic1-xor-001.xml' fails.		
	
	* Review code for minmax1.max.
	  Test 'minmax1-max-001.xml' fails in set1.
	
	* Review code for minmax1.min.
	  Test 'minmax1-min-001.xml' fails in set1.
	
	* Review code for multiset1.*.
	  Test 'multiset1-*.xml' fails.
	
	* Review code for nums1.based_integer.
	  Test 'nums1-based_integer.xml' fails.
	
	* Review code for quant1.exists.
	  Test 'quant1-exists.xml' fails.
	
	* Review code for quant1.forall.
	  Test 'quant1-forall.xml' fails.
	
	* Review code for relation1.approx.
	  Test 'relation1-approx.xml' fails.
	
		
  20021203
	
	* Review code for arith1.times and linalg2. 
          Test 'arith1-times-002.xml' fails.
	
	* Review code for bigfloat1.bigfloatprec. 
	  Test 'bigfloat1-bigfloatprec-001.xml' fails.
	
	* Review code for calculus1.defint.
	  Test 'calculus1.defint-001.xml' fails.
		
	* Review code for calculus1.diff.
	  Test 'calculus1.diff-001.xml' fails.
	
	* Review code for calculus1.int.
	  Test 'calculus1.int-001.xml' fails.
	
	* Review code for calculus1.nthdiff.
	  Test 'calculus1.nthdiff-001.xml' fails.
	
	* Review code for calculus1.partialdiff.
	  Test 'calculus1.partialdiff-001.xml' fails.